{"as_of":"2026-08-20T22:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7fab4e668db8c383e6c912a7f2fec94ffb215eb9175831acecb8d74de54822ef","coverage":[{"denominator":63,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":63,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T10:24:29.855709Z","state":"measured"},{"denominator":68,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":68,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:54:50.762296Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-22T01:04:32.049105Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-07T10:54:50.762296Z","title":"VeCoGen: Automating Genera- tion of Formally Verified C Code with Large Language Mod- els","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.762296Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:a711696137985b567c637ef85a5117d7e5596b646e1639211f352c42bcff4244","observation_id":"6c186eed-dfba-4c62-b4f5-a5ffa2b07741","resolution":{"observed_at":"2026-08-07T10:54:50.762296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-06T15:48:48.641759Z","title":"Available: https://arxiv.org/abs/2411.19275","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.15025","last_updated":"2025-07-20T16:21:51Z","snapshot_observed_at":"2026-08-16T13:59:35.871395Z","submitted_at":"2025-07-20T16:21:51Z","title":"Survey of GenAI for Automotive Software Development: From Requirements to Executable Code","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T15:48:48.641759Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2507.15025"},"observation_digest":"sha256:7dca4a6eea232794f2df6d9a5cae213064114c954ddfd9c35dfc2b06952f9489","observation_id":"22fb5feb-caf1-49c1-967f-905deeb51dd4","resolution":{"observed_at":"2026-08-06T15:48:48.641759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":"2411.19275","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0cf8e91a-0136-495e-a203-4885134fe81b","year":2024},"citing_paper":{"arxiv_id":"2605.21532","last_updated":"2026-08-14T11:51:30Z","snapshot_observed_at":"2026-08-19T23:09:17.599774Z","submitted_at":"2026-05-19T21:12:45Z","title":"Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-22T01:03:36.249639Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2605.21532"},"observation_digest":"sha256:627c4a7b3f4558305bc9ab081dae895e90c85be08fc40eb0b04db2885d7155a5","observation_id":"dc2ec76d-0cd7-4d7c-9bcf-32eba95bed79","resolution":{"observed_at":"2026-05-22T01:04:32.051896Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-02T05:32:58.332156Z","title":"Vecogen: Automating generation of formally verified c code with large language models.arXiv preprint arXiv:2411.19275, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14162","last_updated":"2026-07-14T23:56:44Z","snapshot_observed_at":"2026-08-16T18:47:00.134188Z","submitted_at":"2026-07-14T23:56:44Z","title":"Natural-Language to SysMLv2 Translation via Conformance-Driven Iterative Refinement","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T05:32:58.332156Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2607.14162"},"observation_digest":"sha256:d4e7fadeb933441422e71e1187207ebc46505ed7af85d11cfe728b8b3dfe2d36","observation_id":"0402dbc4-11ba-4499-88f7-ed67e7d7c54c","resolution":{"observed_at":"2026-08-02T05:32:58.332156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-05T16:34:39.938098Z","title":"arXiv preprint arXiv:2411.19275 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03588","last_updated":"2026-08-04T12:42:11Z","snapshot_observed_at":"2026-08-20T01:16:58.326992Z","submitted_at":"2026-08-04T12:42:11Z","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T16:34:39.938098Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2608.03588"},"observation_digest":"sha256:135257997d4143262afe9ba9175bb037db58d12cf092cf9dd573486c6b9000ca","observation_id":"45cb636f-6f68-4825-9f91-dff7f509374c","resolution":{"observed_at":"2026-08-05T16:34:39.938098Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2411.19275/citation-record","integrity":"/paper/2411.19275/integrity","json":"/paper/2411.19275/citation-record.json","paper":"/paper/2411.19275"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2005.14165","last_updated":"2020-07-22T19:47:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-05-28T17:29:03Z","title":"Language Models are Few-Shot Learners","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2005.14165","snapshot_observed_at":"2026-08-12T10:24:29.576405Z","title":"Language Models are Few- Shot Learners,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.576405Z"},"links":{"cited_paper":"/paper/2005.14165","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:d9045af55fd756a867fd0132fc44240fc98df188cfcbc2e5d089a1930aaa082c","observation_id":"f4ed75dc-7fbf-40fc-bc26-16c1c5498171","resolution":{"observed_at":"2026-08-12T10:24:29.576405Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.581867Z","title":"A Survey on Evaluation of Large Language Models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.581867Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:4534735be3441e9de9a8bf087d327ffc439a9762b248f109233b819c331c3862","observation_id":"38aeb543-0256-4a9a-b149-961ed3e8b940","resolution":{"observed_at":"2026-08-12T10:24:29.581867Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14558","last_updated":"2025-05-27T10:19:25Z","snapshot_observed_at":"2026-08-20T15:47:00.376014Z","submitted_at":"2024-02-22T13:52:02Z","title":"LLMs with Industrial Lens: Deciphering the Challenges and Prospects -- A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14558","snapshot_observed_at":"2026-08-12T10:24:29.586992Z","title":"LLMs with Industrial Lens: Deciphering the Challenges and Prospects – A Survey,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.586992Z"},"links":{"cited_paper":"/paper/2402.14558","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:d9f4de84e15d84f890a3b435de2db2d133edc9b03482a20df385264c2c4e91b7","observation_id":"0ff16527-1949-4850-97de-1baef8795dd2","resolution":{"observed_at":"2026-08-12T10:24:29.586992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.298978Z","title":"Teaching Large Language Models to Translate with Comparison,","venue":null,"work_id":"dc36b6b3-ea72-4e07-bb60-a35ffc1e69d9","year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.591985Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:d80a21323c4f0893169a1da44fde9d85e27aa4244ccf3ecbcd1626627e75ad92","observation_id":"3881e5bb-9551-4c4f-b045-652e1ee20d75","resolution":{"observed_at":"2026-08-12T10:25:16.303639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-20T20:50:23.483838Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-12T10:24:29.596712Z","title":"Evaluating Large Language Models Trained on Code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.596712Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:db83b6f8855dd767a84a1c77548aab0884507290ec6f6c6542dbc9c1d5107a09","observation_id":"9ff329d7-0b22-4e20-9e48-bb1ee03c1858","resolution":{"observed_at":"2026-08-12T10:24:29.596712Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.284281Z","title":"Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation,","venue":null,"work_id":"0f42f0eb-925a-4dfc-beeb-9438fa05b88b","year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.601849Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:3b4af2d0604a32fc7f8d9ad4c9d8330c085e6599bab4de9577bbe492c8e61d8e","observation_id":"0dbfff13-1e04-4add-8b76-b449b1a8e7bb","resolution":{"observed_at":"2026-08-12T10:25:16.289173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.04664","last_updated":"2021-03-16T08:28:37Z","snapshot_observed_at":"2026-08-17T12:20:19.399739Z","submitted_at":"2021-02-09T06:16:25Z","title":"CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.04664","snapshot_observed_at":"2026-08-12T10:24:29.606575Z","title":"CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.606575Z"},"links":{"cited_paper":"/paper/2102.04664","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:b4c6ffe5fd8042368e7190baee6ad3bd282e7400b0d0df64dbc6dd3438a0d25d","observation_id":"d2338eb8-4562-4762-90ae-ae2334b7d00a","resolution":{"observed_at":"2026-08-12T10:24:29.606575Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02395","last_updated":"2024-07-04T08:59:31Z","snapshot_observed_at":"2026-08-20T10:06:07.274093Z","submitted_at":"2024-07-02T16:13:21Z","title":"Is Your AI-Generated Code Really Safe? Evaluating Large Language Models on Secure Code Generation with CodeSecEval","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02395","snapshot_observed_at":"2026-08-12T10:24:29.611238Z","title":"Is Your AI-Generated Code Really Safe? Evaluating Large Language Models on Secure Code Generation with CodeSecEval,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.611238Z"},"links":{"cited_paper":"/paper/2407.02395","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:d93d048cc05de3ba54f348aa88911497f2a2ae9b7f3d9794006e91491a20bae4","observation_id":"2c423050-8e02-4b12-b70a-97ce637ca0ea","resolution":{"observed_at":"2026-08-12T10:24:29.611238Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1339.58140","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:15.965348Z","title":"Safety critical systems: challenges and directions,","venue":null,"work_id":"e878d4dc-1fab-4972-8d15-20610e80396b","year":2002},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.615759Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:e404ec38353f899670376b2a3a1ad8efeaeac9ab09ff1c303ab2812bdc590e58","observation_id":"208e07a5-6563-4e7e-b658-f7148efdfb71","resolution":{"observed_at":"2026-08-12T10:25:15.972914Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.620232Z","title":"Comprehensive formal verification of an OS microkernel,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.620232Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:0b57181ef38e1c076d071eec2a7114f03c557fb454c464788ea77c861e71efe9","observation_id":"ce981c74-4b67-4b95-ab15-c57838d8ad5a","resolution":{"observed_at":"2026-08-12T10:24:29.620232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.624576Z","title":"Formal verification of a realistic compiler,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.624576Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:ebd1ff72939b33660325f71bc84d64f2bfd5449d176c7ac544bfc4fa7c33914f","observation_id":"d2c5cb6f-4f04-4c6b-8b1e-b68c32784b05","resolution":{"observed_at":"2026-08-12T10:24:29.624576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.269731Z","title":"ACSL: ANSI/ISO C Specification,","venue":null,"work_id":"9feeb591-5023-44cb-bcce-b658509e9a76","year":2021},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.628897Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:3ca0cc783724b1396ce7a604f469f3ef04d13d4c0e2de5ba09305067b0307ca0","observation_id":"f5896e81-95cb-4328-9c47-5cb982af01a0","resolution":{"observed_at":"2026-08-12T10:25:16.274515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.633001Z","title":"Frama-C: A software analysis perspective,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.633001Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:08a24f2f30c8272910cb41e54c135b721b8698022daae30ca75ea67a74fd2345","observation_id":"772c5365-4ea2-4590-9883-a78462b7251b","resolution":{"observed_at":"2026-08-12T10:24:29.633001Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1505.03953","last_updated":"2016-05-21T07:41:54Z","snapshot_observed_at":"2026-08-14T22:48:29.006781Z","submitted_at":"2015-05-15T03:47:18Z","title":"A Theory of Formal Synthesis via Inductive Learning","version":4},"cited_work":{"arxiv_id":"1505.03953","doi":null,"metadata_source":"pith","pith_arxiv_id":"1505.03953","snapshot_observed_at":"2026-08-12T10:25:15.809430Z","title":"A Theory of Formal Synthesis via Inductive Learning","venue":"cs.AI","work_id":"f1b40b5f-89ad-420a-8d4f-346ebfbde883","year":2015},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.637306Z"},"links":{"cited_paper":"/paper/1505.03953","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:aa1f86e10e3ad00f6a15a25e3ea7b1dd0dc059b8d65284caa751ce5a0ae21798","observation_id":"27ca5525-8fd5-4802-8be2-5df6b61bd4cd","resolution":{"observed_at":"2026-08-12T10:25:15.814636Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.642163Z","title":"From program verification to program synthesis,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.642163Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:a47bed2c80e7e978a12921435d4d07771c096050ed03d74a3b9a691edf24343f","observation_id":"0b41f83c-54c2-4811-aab1-b4b964afe1db","resolution":{"observed_at":"2026-08-12T10:24:29.642163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.256150Z","title":"Program synthesis by sketching,","venue":null,"work_id":"19187f94-07fc-48a2-b0ed-61df620f8635","year":2008},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.646532Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:4a3180b12a34ad82c195886a73942cfafd904110d0b8139ed598e4fd4df647b2","observation_id":"83d0d49e-1bb4-4607-a0d8-18544b326e2a","resolution":{"observed_at":"2026-08-12T10:25:16.260722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.650837Z","title":"Towards Automated Verification of LLM-Synthesized C Programs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.650837Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:abf777d9a211dc222c1ba2f7aac725367f82042a16abdbdd3e86c8dd1cf9b36e","observation_id":"adef9c4e-af16-442a-a27d-64b83dd6376c","resolution":{"observed_at":"2026-08-12T10:24:29.650837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.13269","last_updated":"2024-11-20T12:38:17Z","snapshot_observed_at":"2026-08-14T23:40:28.817628Z","submitted_at":"2024-11-20T12:38:17Z","title":"Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.13269","snapshot_observed_at":"2026-08-12T10:24:29.655340Z","title":"Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.655340Z"},"links":{"cited_paper":"/paper/2411.13269","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:2f8c2ae20bc7a40808a99db912e37eee598d1680e89be6ccbe543d18f92c3b46","observation_id":"a044450d-9f6f-4904-94c8-5f80cf5ffa80","resolution":{"observed_at":"2026-08-12T10:24:29.655340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.242269Z","title":"Frama-C,","venue":null,"work_id":"2472f4d0-40c3-4e08-933f-33db1e7021c0","year":2012},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.659906Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:289e1a1960645299d4decee141f6001fb5e881c03293c880c2249bc30b9d05b5","observation_id":"ddfb1dd4-8c36-432e-a681-27d15c3bf9a8","resolution":{"observed_at":"2026-08-12T10:25:16.246940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1508.03894","last_updated":"2015-08-17T01:36:49Z","snapshot_observed_at":"2026-08-17T18:03:41.349797Z","submitted_at":"2015-08-17T01:36:49Z","title":"An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1508.03894","snapshot_observed_at":"2026-08-12T10:24:29.664053Z","title":"An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.664053Z"},"links":{"cited_paper":"/paper/1508.03894","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:4d921f14c49dd303bae215dc7988a5d9011e4e05a98c442c1381df885035395d","observation_id":"e44b5138-b04b-4e97-a365-49b7e176c4ce","resolution":{"observed_at":"2026-08-12T10:24:29.664053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.227784Z","title":"Program Verification in SPARK and ACSL: A Comparative Case Study,","venue":null,"work_id":"a3664753-d8cb-4606-b55a-3e746ec71833","year":2010},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.668663Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:96439f16b4288283e3b4527783edcecb5299dd751db63d985331ba60802eff65","observation_id":"94ec20b2-bbad-4529-9017-00960dfcf06c","resolution":{"observed_at":"2026-08-12T10:25:16.232692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/1062849","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:15.604838Z","title":"Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report,","venue":null,"work_id":"e52f4a02-66a0-498b-9d8b-39cc04e8213c","year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.674114Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:149eeadcafcdc53d2cd419472ef32f9ad4c9bc0d8e639dc96a9cb543e38466d7","observation_id":"ef7a2be6-dc18-4e2a-92f9-3f21c6cc3b3b","resolution":{"observed_at":"2026-08-12T10:25:15.612601Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.678331Z","title":"An axiomatic basis for computer programming,","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.678331Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:f8ad16f58ae30fbcaac97addc8c325fa911600fd85bdef5309c64ecacaffcfd3","observation_id":"536773dc-9737-4b07-9df0-7369016904b4","resolution":{"observed_at":"2026-08-12T10:24:29.678331Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-78739-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Why: a multi-language multi-prover verification tool,","venue":"Lecture notes in computer science","work_id":"00a78e65-92f1-4a3d-8cad-553a96f83701","year":2003},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.683225Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:4717c4b0400b1322f504e87b36af1a0837c27f8c121fae9c41a735603732920c","observation_id":"637c32d9-5ffb-4a5d-a3a2-6d441e25ef6e","resolution":{"observed_at":"2026-08-12T10:24:29.934687Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.213366Z","title":"Z3: an efficient SMT solver,","venue":null,"work_id":"79d3db1f-ce5f-46d1-b054-02b3a860168a","year":2008},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.687758Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:50ecf83eb7bae341a14368ae700a47642a4305e42f4014433419b732daf66670","observation_id":"11cf74d5-958d-4201-b5a5-0f50fcd8bbcc","resolution":{"observed_at":"2026-08-12T10:25:16.218026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.197865Z","title":"Attention is All you Need,","venue":null,"work_id":"2db27705-e91a-46c2-8bae-c01548026c21","year":2017},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.692358Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:223deb88115f3a634f3cd9ec95be355190edf2d1cb7638cb24470d7105748869","observation_id":"ce0e2f68-8023-460d-8515-02d40db84cd5","resolution":{"observed_at":"2026-08-12T10:25:16.203275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.02047","last_updated":"2024-08-21T01:58:38Z","snapshot_observed_at":"2026-08-16T14:21:55.571207Z","submitted_at":"2024-02-03T05:52:28Z","title":"Calibration and Correctness of Language Models for Code","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.02047","snapshot_observed_at":"2026-08-12T10:24:29.696701Z","title":"Calibration and Correctness of Language Models for Code,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.696701Z"},"links":{"cited_paper":"/paper/2402.02047","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:9a8f0cbe5d3ddd49b3342ea94e7b1b364149dc350bb006ba381a7fe980bd9660","observation_id":"7efd23c8-9a24-4e72-bd30-cb0f2187d8db","resolution":{"observed_at":"2026-08-12T10:24:29.696701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.701071Z","title":"The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.701071Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:060b773565248a77e325d5693d2d044243e995c5076b1ecc5181dabecc29d0c9","observation_id":"47462da7-2956-49bf-8023-d63e18df2ca1","resolution":{"observed_at":"2026-08-12T10:24:29.701071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.705271Z","title":"Exploring and Evaluating Hallucinations in LLM-Powered Code Generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.705271Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:2879968ac49359cc09c55c738e59799774586dec72222c3fb2502696212ede7d","observation_id":"4bd51793-27e0-4f66-88ad-e9d6813af166","resolution":{"observed_at":"2026-08-12T10:24:29.705271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.182636Z","title":"Codeforces","venue":null,"work_id":"f3087548-d8f9-4518-a592-3b9bc0713d94","year":null},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.709486Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:988d2620d2805e8d69f31e0a49faa85a4ac400f9a3627db75c77883880940e94","observation_id":"dea37fb8-cab1-4c88-a6f1-f0567ddd9667","resolution":{"observed_at":"2026-08-12T10:25:16.187476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.167561Z","title":"Code4Bench: A Multidimensional Benchmark of Codeforces Data for Different Program Analysis Techniques,","venue":null,"work_id":"55433b83-a341-4040-94c2-fa1455505de0","year":null},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.713887Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:9918d05c95356d0eafc89d896d524d98f56fb312081179d0c960d6194c384fbf","observation_id":"8fe5dd65-3150-42d7-a888-0d0cc7222852","resolution":{"observed_at":"2026-08-12T10:25:16.172566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.151777Z","title":"2004, https://misra.org.uk/misra-c","venue":null,"work_id":"b7f267d8-59db-4f99-b96c-58336af2c49c","year":2004},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.722826Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:bfba472a9f021441bfcaa802a950ded2e07a01ebfa77249a60f1180483187a61","observation_id":"6e8480b4-550c-492e-b688-fa87a9f990bf","resolution":{"observed_at":"2026-08-12T10:25:16.156886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.12397","last_updated":"2023-10-19T00:56:37Z","snapshot_observed_at":"2026-08-16T14:50:53.167925Z","submitted_at":"2023-10-19T00:56:37Z","title":"GPT-4 Doesn't Know It's Wrong: An Analysis of Iterative Prompting for Reasoning Problems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.12397","snapshot_observed_at":"2026-08-12T10:24:29.727385Z","title":"GPT-4 Doesn’t Know It’s Wrong: An Analysis of Iterative Prompting for Reasoning Problems,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.727385Z"},"links":{"cited_paper":"/paper/2310.12397","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:5fe9fdea27afaef7fe9c7e0d9f6a39378b1856ab66424d3594ada6cab540f08b","observation_id":"9551cc34-97a7-407a-a49b-39a58d7ec3ec","resolution":{"observed_at":"2026-08-12T10:24:29.727385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12866","last_updated":"2025-03-22T08:20:02Z","snapshot_observed_at":"2026-08-16T22:33:03.958541Z","submitted_at":"2024-09-19T16:08:39Z","title":"SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12866","snapshot_observed_at":"2026-08-12T10:24:29.732047Z","title":"SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.732047Z"},"links":{"cited_paper":"/paper/2409.12866","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:1b9f2ac8e14dda62ef2f33cac8c44c6f597832cbd4d0a484857a8431b21cbc11","observation_id":"4bd5b667-f9cf-41de-b026-2f32615bf82d","resolution":{"observed_at":"2026-08-12T10:24:29.732047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.736283Z","title":"TriCo–Triple Co-piloting of Implementation, Specification and Tests,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.736283Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:175669e06fe9e69d97970ce9e43cfcddbda483398e916e8b652b178b1d5a666f","observation_id":"c2106817-d118-4746-aff0-7a9a896d1620","resolution":{"observed_at":"2026-08-12T10:24:29.736283Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17807","last_updated":"2024-11-16T21:57:49Z","snapshot_observed_at":"2026-08-17T12:05:32.577817Z","submitted_at":"2023-10-26T22:58:19Z","title":"Clover: Closed-Loop Verifiable Code Generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.17807","snapshot_observed_at":"2026-08-12T10:24:29.740726Z","title":"Clover: Closed- Loop Verifiable Code Generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.740726Z"},"links":{"cited_paper":"/paper/2310.17807","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:2e5fa2cb4037267a7200489a70a5f21434568c41f52b7fcd09c0ff2a90524f85","observation_id":"9a0baa48-1499-44bb-baf2-bc53fb45f0c8","resolution":{"observed_at":"2026-08-12T10:24:29.740726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.15540","last_updated":"2024-09-18T08:21:29Z","snapshot_observed_at":"2026-08-16T13:40:39.806815Z","submitted_at":"2024-06-21T17:39:57Z","title":"Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods","version":2},"cited_work":{"arxiv_id":"2406.15540","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.15540","snapshot_observed_at":"2026-08-12T10:25:15.148876Z","title":"Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods","venue":"cs.SE","work_id":"51620422-b6ca-4f35-8fe1-1fd5d6b781c1","year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.745221Z"},"links":{"cited_paper":"/paper/2406.15540","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:4c28546d0c91bc7779f1b106006606ec5ba63c7c4f9ab668d6ee53634d3e117f","observation_id":"4d5dcbe2-3f93-4ec4-80a4-088645bf03ac","resolution":{"observed_at":"2026-08-12T10:25:15.154025Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.135153Z","title":"Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification,","venue":null,"work_id":"6651574f-880a-44c2-a63e-6e61fb1fb644","year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.749636Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:80b603ba747a629d28983c08a08c42f347076fce2dc75f1fdb36fb0563e9df7d","observation_id":"2432441c-128c-45e5-b758-a7de3323ccb2","resolution":{"observed_at":"2026-08-12T10:25:16.140524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.119170Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models,","venue":null,"work_id":"6a38c8f5-6579-4e6f-9073-64bad8e219a8","year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.753946Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:2123033fb47cfa6166a57792d691502833e21fc4812b4603a088b5e2b33cea8b","observation_id":"fde6ee50-3ed6-480a-b2b9-2ebdda3ee2eb","resolution":{"observed_at":"2026-08-12T10:25:16.124526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.758280Z","title":"C2S: translating natural language comments to formal program specifications,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.758280Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:709cadb4adc3325808f6b3b89a4318bc470f5a374e5895bbc935042e40572a2a","observation_id":"bc1200b1-c6f7-4d0e-aa03-d9d8156c5b73","resolution":{"observed_at":"2026-08-12T10:24:29.758280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.102023Z","title":"Generation of Formal Requirements from Structured Natural Lan- guage,","venue":null,"work_id":"c3cba772-8673-4c12-8b35-d4a61d65e838","year":2020},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.762690Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:8f0d44d011ee26cd44b8df003e23191a29e57713503120b8d031176bbccdcbc6","observation_id":"9a697361-ee67-498a-8599-972484566e89","resolution":{"observed_at":"2026-08-12T10:25:16.108027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.085864Z","title":"Oracle-guided component-based program synthesis,","venue":null,"work_id":"487ea1f2-29e9-49b9-a683-c2069e76a5e7","year":null},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.766852Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:c753df7a54bd18e44565a09f48768d0156cad68fbe196e98336334939e53f267","observation_id":"d8f0622b-98da-484d-9fc3-2176f3fffed3","resolution":{"observed_at":"2026-08-12T10:25:16.091145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1636.37172","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:14.969121Z","title":"Formal synthesis and code generation of embedded real-time software,","venue":null,"work_id":"8afe1d45-e65f-403b-8ef7-7e1f91eef315","year":2001},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.775226Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:2cb40f87222c5346db8282c8c4f69127c6daaea2c3f2fda6da6f0365a50af460","observation_id":"76328e10-6cf1-4e8e-89aa-99be35a1e934","resolution":{"observed_at":"2026-08-12T10:25:14.976586Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.771178Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.771178Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:da4a9d33c2c49cfb903e9ab3d4f314473c114a62e48dfaccc0ba7a340e9c8946","observation_id":"d8e680df-c9ea-4424-8dcc-bc59a0d81ea1","resolution":{"observed_at":"2026-08-12T10:24:29.771178Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.783193Z","title":"A Deductive Approach to Program Synthesis,","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.783193Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:94c1c9b3e45c84c7242829f06b704535534ddb4ff24c02bd961f77092d80b389","observation_id":"670ef05a-28d7-40e6-bfae-670d890a6d30","resolution":{"observed_at":"2026-08-12T10:24:29.783193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:16.068215Z","title":"Applying formal software synthesis,","venue":null,"work_id":"9e6f6dac-76f0-48d4-9c9d-626e5e8fd28c","year":1993},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.779264Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:13aa3aef9c0cd45964075eb458953b50fcc7d96974f9d07f430b10e53c405930","observation_id":"ab613657-4482-4191-a069-d660facfe603","resolution":{"observed_at":"2026-08-12T10:25:16.074195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.791570Z","title":"Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.791570Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:afe9a05a05005acdd0e1aee0d527693606ca85789c46b212afe3b6fd3dd6a862","observation_id":"80d0fde2-13b3-4742-aeab-ea36e518919e","resolution":{"observed_at":"2026-08-12T10:24:29.791570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.787521Z","title":"Syntax-guided synthesis,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.787521Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:434cd574531eb9f669bbeefb394286e481d6b2a440586d09007eb827a7fec49b","observation_id":"c65dcd82-7844-45e2-95e3-2366637ea3d5","resolution":{"observed_at":"2026-08-12T10:24:29.787521Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19736","last_updated":"2024-09-18T15:59:06Z","snapshot_observed_at":"2026-08-18T00:51:03.778382Z","submitted_at":"2024-09-18T15:59:06Z","title":"Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.19736","snapshot_observed_at":"2026-08-12T10:24:29.800734Z","title":"Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.800734Z"},"links":{"cited_paper":"/paper/2410.19736","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:b98a0337b1c874970600165994086a4e250e897e205df9718a3170ea9952aab7","observation_id":"e0625b05-167b-41fb-a1a4-e04a634b1650","resolution":{"observed_at":"2026-08-12T10:24:29.800734Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/8292813","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:14.661104Z","title":"Formal Modeling and Automatic Code Synthesis for Robot System,","venue":null,"work_id":"68fc7fcd-1598-4ee9-af68-6fb833d51d35","year":2017},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.796221Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:98282ad9f64e2c17e257abfce4c7c6c5c074d86d8467fd5b62405bb4447c499f","observation_id":"f11d2959-d5f8-4ca1-b7ff-632308a5a937","resolution":{"observed_at":"2026-08-12T10:25:14.668435Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06598","last_updated":"2024-04-18T15:00:59Z","snapshot_observed_at":"2026-08-16T20:54:46.703938Z","submitted_at":"2024-02-09T18:21:45Z","title":"CigaR: Cost-efficient Program Repair with LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06598","snapshot_observed_at":"2026-08-12T10:24:29.809645Z","title":"CigaR: Cost- efficient Program Repair with LLMs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.809645Z"},"links":{"cited_paper":"/paper/2402.06598","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:5d75be66d625cc06ca3badc8dcb1cc77113a95d4404ad2a21f26e785e139023b","observation_id":"2580fde6-3765-4ef3-ad83-d4ae263a2f4f","resolution":{"observed_at":"2026-08-12T10:24:29.809645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.805359Z","title":"Automatic Software Repair: A Bibliography,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.805359Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:cd7e74f977247f101aecc41b5edacc2efea6ff2029d2469a2cf5aaec001d3ebf","observation_id":"0232de2c-7146-4d11-91f5-60fe858418bd","resolution":{"observed_at":"2026-08-12T10:24:29.805359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-16T15:30:21.004318Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-12T10:24:29.818922Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.818922Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:40b7379c87b727655f11c5f84b3da159ef8efe31a354bb852763c47462d8f927","observation_id":"a34b6067-8334-4f0e-8432-736af7136e59","resolution":{"observed_at":"2026-08-12T10:24:29.818922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/9438573","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:14.540586Z","title":"Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods,","venue":null,"work_id":"81fccaff-698a-4935-900b-aef3cb64948a","year":2021},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.814423Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:d8892b17d9dc1afae139933a982a799f6c2645bf3f3e9ec23937924424e53631","observation_id":"b9900241-da18-4320-8398-e050c0edc0e7","resolution":{"observed_at":"2026-08-12T10:25:14.548558Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.00385","last_updated":"2024-12-09T20:45:33Z","snapshot_observed_at":"2026-08-16T15:43:30.423870Z","submitted_at":"2023-04-01T20:57:33Z","title":"Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.00385","snapshot_observed_at":"2026-08-12T10:24:29.828342Z","title":"Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.828342Z"},"links":{"cited_paper":"/paper/2304.00385","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:7100d2686ab8f10ed1cfbc9c4a850f09cd14f66dba1226ce0c3effe95f8b054d","observation_id":"56dc3454-f10f-42f6-80e0-345d90cbae79","resolution":{"observed_at":"2026-08-12T10:24:29.828342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.05443","last_updated":"2024-01-08T23:52:42Z","snapshot_observed_at":"2026-08-20T00:29:52.211294Z","submitted_at":"2024-01-08T23:52:42Z","title":"LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems","version":1},"cited_work":{"arxiv_id":"2401.05443","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.05443","snapshot_observed_at":"2026-08-12T10:25:14.457052Z","title":"LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems","venue":"cs.SE","work_id":"76678ef7-f2ba-46cd-b81a-e6a7c6aa811d","year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.823531Z"},"links":{"cited_paper":"/paper/2401.05443","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:ea71b84b5d3c96fb9e10247463b5f016a251c4c941dad34b5cdc9a77ef673689","observation_id":"b9c0c0f7-5299-4141-baa8-2cee9f5bc9ab","resolution":{"observed_at":"2026-08-12T10:25:14.462333Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-003-0127-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-18T11:03:46.223893Z","title":"Counter-example generation in symbolic abstract model-checking,","venue":"International Journal on Software Tools for Technology Transfer","work_id":"1a8b7fb5-2298-44c9-9ca9-aa1a3a037ee1","year":2004},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.837708Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:352578c8600229953919e3b8ba29b40be6bb963c634612631ff9c17c5ca515a8","observation_id":"4d10ddc3-dde1-47af-a23e-8651a3cf2c3f","resolution":{"observed_at":"2026-08-12T10:24:29.893023Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/1020758","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:14.417855Z","title":"Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting,","venue":null,"work_id":"4fc53446-88c5-4fe1-9d38-77268af7385a","year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.833217Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:209f80b12991e526e5249865240bea23570dfeffa4a955b40da9b28d0c63c48c","observation_id":"0c20c612-10fa-424e-8ae9-927824557266","resolution":{"observed_at":"2026-08-12T10:25:14.425793Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.846737Z","title":"Fully Autonomous Programming with Large Language Models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.846737Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:62743d80c04efda0daab2c087680c06a8d5384dd1ab4c461ed7e84c8d1fe898f","observation_id":"35b2c353-6a17-4ab3-9cde-130c4cf34307","resolution":{"observed_at":"2026-08-12T10:24:29.846737Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.842248Z","title":"Automated Repair of Programs from Large Language Models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.842248Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:19d2e10457ab1f5253f66bb65225e6f9e1bf7704e685f55006c6742a620adb83","observation_id":"b326d915-87cb-4442-8fb4-6d63bd1b198d","resolution":{"observed_at":"2026-08-12T10:24:29.842248Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:24:29.855709Z","title":"On the Likelihood that One Unknown Probability Exceeds Another in View of the Evidence of Two Samples,","venue":null,"work_id":null,"year":1933},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.855709Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:c181b5aa713cd6e932ed8e5cb54d59b9ff9c8729141b2b09fe264392b0d81590","observation_id":"71ea9201-97f6-46d1-a6c1-38449e122567","resolution":{"observed_at":"2026-08-12T10:24:29.855709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17503","last_updated":"2024-10-29T20:01:16Z","snapshot_observed_at":"2026-08-20T01:40:58.547501Z","submitted_at":"2024-05-26T04:00:30Z","title":"Code Repair with LLMs gives an Exploration-Exploitation Tradeoff","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17503","snapshot_observed_at":"2026-08-12T10:24:29.850961Z","title":"Code Repair with LLMs gives an Exploration-Exploitation Tradeoff,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.850961Z"},"links":{"cited_paper":"/paper/2405.17503","citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:400f60e1cbd469c54fa75253661363731decbb66e1c974b8b915415ceb6aacb0","observation_id":"a790e6a5-1160-47dd-ae15-890790c53ff9","resolution":{"observed_at":"2026-08-12T10:24:29.850961Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"records/2582968","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:25:15.272254Z","title":"Available: https://zenodo.org/records/2582968","venue":null,"work_id":"84063792-5d8a-48a5-978b-0920011031f6","year":null},"citing_paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-12T10:24:29.718312Z"},"links":{"citing_paper":"/paper/2411.19275"},"observation_digest":"sha256:02adb14576c5d297ac3fefc6627ab4c1b7379aad754b37abc657150b5e483b46","observation_id":"ada2294c-ebf3-4cae-a036-cc94be457f06","resolution":{"observed_at":"2026-08-12T10:25:15.279383Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.19275","last_updated":"2025-04-07T07:29:42Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models"},"reference_resolution":{"displayed":63,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":35,"verified_exact":10,"verified_fuzzy":16},"total_outbound_references":63},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 5 inbound Pith citation observations for arXiv:2411.19275."}