{"as_of":"2026-08-18T04:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9dd4d21398a55d9e48a775305310da3474deabed7ed18277d4c5a989faca6a54","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:42:23.584828Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T10:24:29.655340Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T15:48:52.273335Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"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":{"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":"2411.13269","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.13269","snapshot_observed_at":"2026-08-06T15:48:52.273335Z","title":"Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software","venue":"cs.SE","work_id":"f209dd89-1fa4-4d7e-9f1f-df51222107d2","year":2024},"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":65,"source":"pdf_text","source_observed_at":"2026-08-06T15:48:50.003922Z"},"links":{"cited_paper":"/paper/2411.13269","citing_paper":"/paper/2507.15025"},"observation_digest":"sha256:6aab645e0d6fe5266f1840d40a0fa2f0e3feee91912ab391a16613a56eac67d3","observation_id":"640dac34-1a76-4843-b400-dd9c9cd5f2d7","resolution":{"observed_at":"2026-08-06T15:48:52.344781Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.13269/citation-record","integrity":"/paper/2411.13269/integrity","json":"/paper/2411.13269/citation-record.json","paper":"/paper/2411.13269"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:42:24.214344Z","title":"Lecture notes in computer science 10001 (2016)","venue":null,"work_id":"629b01cf-fe53-4075-834e-b7a48edc4ad7","year":2016},"citing_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},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.388376Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:0cfe145a557dd9ab82cd412ae357b94834e63f12137274d5d2c2a3137bbe24aa","observation_id":"e6fbeecb-8d41-48c4-b3d3-34c63b06f35f","resolution":{"observed_at":"2026-08-12T16:42:24.219080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.199211Z","title":"In: International Symposium on Leverag- ing Applications of Formal Methods","venue":null,"work_id":"947183a1-b6fb-48e5-81fb-076bddb6ab01","year":2022},"citing_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},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.393988Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:15c787fe030fff22c675b0980bda9e76c381b3586e8198c5d7b390f829a6e0f7","observation_id":"8d546857-7f5e-4786-b09c-ec301851d511","resolution":{"observed_at":"2026-08-12T16:42:24.204077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.183660Z","title":"CEA LIST, Inria, https://www.frama-c.com/download/ frama-c-wp-manual.pdf","venue":null,"work_id":"358effe3-4f5c-4704-a698-5524a560fc98","year":null},"citing_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},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.399005Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:46cb61b16374288853e57f371e4d18e85b8d167c0874021cbb643388fd6d0b2a","observation_id":"ce473e01-b342-4312-a6ad-9f326d2d5369","resolution":{"observed_at":"2026-08-12T16:42:24.188518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.168135Z","title":"URL https://frama-c","venue":null,"work_id":"20a23d64-2e11-4c57-9b36-0e5b8623f87c","year":2021},"citing_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},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.404590Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:c079052c382e001ccfb186cea99d185fdcb150fb213b5ad6b07d7f91e3abb484","observation_id":"65058f09-93d1-464b-9126-7e28af5abdb4","resolution":{"observed_at":"2026-08-12T16:42:24.173157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08T11:58:24.516369Z","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-12T16:42:23.409711Z","title":"arXiv preprint arXiv:2107.03374 (2021)","venue":null,"work_id":null,"year":2021},"citing_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},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.409711Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:6e0888738ca271ef5fb56d9ed929ecc6719657aea1b9bc1dbd0bab04149826aa","observation_id":"4d60758c-e32c-4f56-a9d4-e5f3de6ebe92","resolution":{"observed_at":"2026-08-12T16:42:23.409711Z","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-12T16:42:23.415454Z","title":"In: SMT Workshop: International Workshop on Satisfiability Modulo Theories (2018)","venue":null,"work_id":null,"year":2018},"citing_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},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.415454Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:cc8f01c5edff87601c6bb69cc4c4edbfee3c617cd6d48eaf7c86343cb98e743b","observation_id":"8baeab36-9ef8-4863-9d27-eea37661426d","resolution":{"observed_at":"2026-08-12T16:42:23.415454Z","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-12T16:42:24.142517Z","title":"CEA LIST, Inria, http:// frama-c.com/download/frama-c-user-manual.pdf","venue":null,"work_id":"ab445afe-fc7e-476d-8587-7028d753988a","year":null},"citing_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},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.420427Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:b822c5839a6fdc85674b366095d6cdd7aa34db22ca3c03306fa454542886bfb5","observation_id":"76705083-4ae8-4d38-8143-23b58db1a5ec","resolution":{"observed_at":"2026-08-12T16:42:24.147903Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.425520Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":null,"year":2023},"citing_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},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.425520Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:e8f70fad6583daaf85c8908129c5fdf584920a04513d9a6de68e23fddf926c40","observation_id":"1c283dfe-0f81-478f-a3a7-0c97f1b72081","resolution":{"observed_at":"2026-08-12T16:42:23.425520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.01158","last_updated":"2023-03-02T11:05:10Z","snapshot_observed_at":"2026-08-17T06:30:06.389344Z","submitted_at":"2023-03-02T11:05:10Z","title":"Iterative Circuit Repair Against Formal Specifications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.01158","snapshot_observed_at":"2026-08-12T16:42:23.430753Z","title":"arXiv preprint arXiv:2303.01158 (2023)","venue":null,"work_id":null,"year":2023},"citing_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},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.430753Z"},"links":{"cited_paper":"/paper/2303.01158","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:a0c61bc32c8c3405a9a32032356a6fbd3a1546c148cf873d8d30ef7a18b638c2","observation_id":"c26b7be8-2aac-4c77-a63c-bd58ea47f9db","resolution":{"observed_at":"2026-08-12T16:42:23.430753Z","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-12T16:42:23.435723Z","title":"In: International conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":null,"year":null},"citing_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},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.435723Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:500b3567df85b829a4f7465e606eb5b3511f4cb2ee5bf58378fe9b6efd8038d1","observation_id":"e293cbda-a169-4e09-a836-ce2c78b63736","resolution":{"observed_at":"2026-08-12T16:42:23.435723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.04218","last_updated":"2021-02-18T12:41:20Z","snapshot_observed_at":"2026-07-06T09:03:22.521546Z","submitted_at":"2020-03-06T14:46:49Z","title":"Teaching Temporal Logics to Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.04218","snapshot_observed_at":"2026-08-12T16:42:23.440480Z","title":"arXiv preprint arXiv:2003.04218 (2020)","venue":null,"work_id":null,"year":2020},"citing_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},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.440480Z"},"links":{"cited_paper":"/paper/2003.04218","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:8f98214838f937b8aed15edda7f278741eab86c44f1d34c0984b17ed0b4a36fd","observation_id":"a00973c8-e34e-4bd4-8c10-4e286420066c","resolution":{"observed_at":"2026-08-12T16:42:23.440480Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-08-16T16:55:21.330482Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-12T16:42:23.445779Z","title":"arXiv preprint arXiv:2206.01962 (2022)","venue":null,"work_id":null,"year":2022},"citing_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},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.445779Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:ecf12139ffcb1d1552b796aca674ab53b134b6a63a8583a10ac846a4eb51a7b9","observation_id":"efa01849-e2d8-4cdb-8176-dbb4a85b5d7e","resolution":{"observed_at":"2026-08-12T16:42:23.445779Z","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-12T16:42:24.107163Z","title":"Computing and Software Science: State of the Art and Perspectives pp","venue":null,"work_id":"147ad820-6178-4e9b-971a-5090aef8cb5b","year":2019},"citing_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},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.450691Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:b9ddb98a460e33dd644480c2ab4f5502a9960c654b687cf19faaa80e29af1325","observation_id":"147fc746-e54c-4795-aa70-f82d04672bc3","resolution":{"observed_at":"2026-08-12T16:42:24.112278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.092148Z","title":"Com- puter 39(6), 95–99 (2006)","venue":null,"work_id":"00882beb-cfdf-4c92-961d-2ea6151156c3","year":2006},"citing_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},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.455376Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:4a30651280da0354e0509abd573a4df7a9fcf223efe07ed6acf3db3baa828848","observation_id":"74334a61-e6e1-4485-abdf-3029f82dc9e1","resolution":{"observed_at":"2026-08-12T16:42:24.096930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.076808Z","title":null,"venue":null,"work_id":"94160081-9d68-48fe-b39d-4736853afedd","year":1999},"citing_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},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.460034Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:ce3f8e2c1bab33421f916904981ca8021a72d29dc7455a63de2531e18abfbca5","observation_id":"566d2daa-5f17-48f8-9e80-a5987bd31309","resolution":{"observed_at":"2026-08-12T16:42:24.081555Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.061767Z","title":null,"venue":null,"work_id":"e7de3597-d01e-4980-8e4c-154995acce41","year":2015},"citing_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},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.464599Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:4129caa3d7f01605409e185968b43ab9a7d44323456539648de990dde918e4f8","observation_id":"940c86d1-dd9e-487a-b31b-f8c6666351c5","resolution":{"observed_at":"2026-08-12T16:42:24.066497Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-12T16:42:23.469235Z","title":"arXiv preprint arXiv:2402.01817 (2024)","venue":null,"work_id":null,"year":2024},"citing_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},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.469235Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:40902265428b3f36bf6dcf1fdf88bd74cc74c2730276040644bcf044f403e1a4","observation_id":"db7c4899-35cf-454e-807a-f1e409a3671b","resolution":{"observed_at":"2026-08-12T16:42:23.469235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.03714","last_updated":"2023-10-05T17:37:25Z","snapshot_observed_at":"2026-08-04T05:21:05.846165Z","submitted_at":"2023-10-05T17:37:25Z","title":"DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.03714","snapshot_observed_at":"2026-08-12T16:42:23.473988Z","title":"arXiv preprint arXiv:2310.03714 (2023) 18 M.S","venue":null,"work_id":null,"year":2023},"citing_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},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.473988Z"},"links":{"cited_paper":"/paper/2310.03714","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:14747da499c280b240e2c9f71c6b484bdfcb232de5e2de5a8fb114aa03fe3105","observation_id":"d0ea1511-51a1-476a-96c8-d1499f3fce38","resolution":{"observed_at":"2026-08-12T16:42:23.473988Z","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-12T16:42:23.479444Z","title":"Advances in neural information processing systems 35, 22199–22213 (2022)","venue":null,"work_id":null,"year":2022},"citing_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},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.479444Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:d9ced57557f2825b875c00c58acea34e35f49b9192afcf307a643f3aa13ee24d","observation_id":"4c3824d3-a36b-4132-8203-3d8cb17c88e5","resolution":{"observed_at":"2026-08-12T16:42:23.479444Z","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-12T16:42:24.034153Z","title":"Information Processing Letters 93(6), 281–288 (2005)","venue":null,"work_id":"be42ab9a-94f0-4331-b937-fb02d4f02a1f","year":2005},"citing_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},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.484330Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:343cc9e60146fdd092388df6e67f787fc76bbb0138f482216939ae8efc8ef8ca","observation_id":"747dacd1-46e0-48ee-8203-b940dd462d43","resolution":{"observed_at":"2026-08-12T16:42:24.040433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.017294Z","title":"Advances in Neural Information Processing Systems 35, 3843–3857 (2022)","venue":null,"work_id":"f7ca77a2-24bb-430f-80b0-74010924d170","year":2022},"citing_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},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.488907Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:f3aa5ee922ebf51e82550ff0d99302b37d002fe9772c7b6c6bb7afaaa3f97d78","observation_id":"4696da07-b093-4a91-96f6-74f154862760","resolution":{"observed_at":"2026-08-12T16:42:24.022471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:24.001262Z","title":"In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)","venue":null,"work_id":"b5487e02-65ae-4b54-9f1d-61383605f2d5","year":2021},"citing_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},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.493382Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:5728846f7df35d1bc47db81c3d288a265b130ea0431cb29183cba7efe9928f66","observation_id":"39493c67-6766-4192-b8d3-b6de824e63c4","resolution":{"observed_at":"2026-08-12T16:42:24.006674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.978613Z","title":null,"venue":null,"work_id":"a2fc8439-f39d-41f1-b480-0424ab7d87be","year":2004},"citing_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},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.497975Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:9e107c039a5e9ea7429f40766cd5fae8581235326ae8e73e2ce60295350de958","observation_id":"a1056fe4-908a-4b59-b632-3aeec5dc79b4","resolution":{"observed_at":"2026-08-12T16:42:23.983519Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.09896","last_updated":"2024-02-02T18:31:34Z","snapshot_observed_at":"2026-08-16T15:23:18.523391Z","submitted_at":"2023-06-16T15:13:17Z","title":"Is Self-Repair a Silver Bullet for Code Generation?","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.09896","snapshot_observed_at":"2026-08-12T16:42:23.502610Z","title":"arXiv preprint arXiv:2306.09896 (2023)","venue":null,"work_id":null,"year":2023},"citing_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},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.502610Z"},"links":{"cited_paper":"/paper/2306.09896","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:ba4a22c82489ad36ac9672f583ec2ae816668c0fbb5c1de6e38d487948e6c713","observation_id":"7fbd5fd7-bbc6-43f7-8109-ef5abfa7a5c1","resolution":{"observed_at":"2026-08-12T16:42:23.502610Z","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-12T16:42:23.962898Z","title":"https://www.openai.com (2022), accessed: 25/04/2024","venue":null,"work_id":"9f5e3a64-4e4a-490a-a1a8-70b5688545ba","year":2022},"citing_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},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.507839Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:749d29aea4601b81900dcc8fd0233a60693bd8d04c225c492d993902943b2c46","observation_id":"723d74a3-8d3a-46f2-82e9-85893d544ebd","resolution":{"observed_at":"2026-08-12T16:42:23.967910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.947604Z","title":"https://www.openai.com (2023), accessed: 25/04/2024","venue":null,"work_id":"48fc8650-08b9-4b12-b96a-9877640c59cf","year":2023},"citing_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},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.512682Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:e93feb627391373c8bec420efd433f0a586c8738cdd997cadf01431ac276515c","observation_id":"828c6467-960c-433e-8652-0357560e95b0","resolution":{"observed_at":"2026-08-12T16:42:23.952268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.517112Z","title":"Advances in neural information processing sys- tems 35, 27730–27744 (2022)","venue":null,"work_id":null,"year":2022},"citing_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},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.517112Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:a31130af382fdc98867b6c3faa412a9c57005447a38816d81a241f4ac49cdb48","observation_id":"ce868aad-bc78-46e1-8ddd-763b55114eec","resolution":{"observed_at":"2026-08-12T16:42:23.517112Z","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-12T16:42:23.521966Z","title":"Advances in Neural Information Processing Systems 36 (2024)","venue":null,"work_id":null,"year":2024},"citing_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},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.521966Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:642adddc360a09b040052225449a483c843d341f7d3cd40c7f2faffb998e6d00","observation_id":"45a32ea8-08c6-4621-8683-72999f83bba6","resolution":{"observed_at":"2026-08-12T16:42:23.521966Z","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-12T16:42:23.911113Z","title":"In: Proceedings of the 28th International Conference on Intelligent User Interfaces","venue":null,"work_id":"80f38537-793c-4c70-b2c5-feb785ef0067","year":2023},"citing_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},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.526535Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:65527e2db3ab644a0b84c3130dccb4d2373ba57420f72b037a7f20a9dd873b89","observation_id":"9b6de64f-9427-4e64-9a9b-b91db8ab3220","resolution":{"observed_at":"2026-08-12T16:42:23.915901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.895685Z","title":"IEEE Transactions on Soft- ware Engineering (2023)","venue":null,"work_id":"0da8a81c-9111-4162-b003-c0e0e442914b","year":2023},"citing_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},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.530983Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:be811053703906be60f285860f09c79de1be4474da59457c0f537eb24d0b896f","observation_id":"65f7c6a8-e937-4957-a068-17b573a4a0a1","resolution":{"observed_at":"2026-08-12T16:42:23.900607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03057","last_updated":"2022-10-06T17:03:34Z","snapshot_observed_at":"2026-07-06T14:00:37.875054Z","submitted_at":"2022-10-06T17:03:34Z","title":"Language Models are Multilingual Chain-of-Thought Reasoners","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03057","snapshot_observed_at":"2026-08-12T16:42:23.535497Z","title":"arXiv preprint arXiv:2210.03057 (2022)","venue":null,"work_id":null,"year":2022},"citing_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},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.535497Z"},"links":{"cited_paper":"/paper/2210.03057","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:11554834a0c1a8843c5b4c700914f68808d7b16998eeeab7d0fc846d57d3e93a","observation_id":"f03d6438-27bd-4683-9bb4-ce2fba8dc80b","resolution":{"observed_at":"2026-08-12T16:42:23.535497Z","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-12T16:42:23.879904Z","title":"Geneva, Switzerland (2018)","venue":null,"work_id":"50bb45ec-4ae6-47d0-bfbf-9cf7adcb7251","year":2018},"citing_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},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.540420Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:4ca7b3b32ffd73152923081be261a4da56a3ee6d985b9aa67b53cadf9abf7846","observation_id":"9245fe67-6828-4b6c-aac0-d1e6b06f5dec","resolution":{"observed_at":"2026-08-12T16:42:23.884946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.08937","last_updated":"2024-03-18T14:34:13Z","snapshot_observed_at":"2026-08-16T14:10:01.924218Z","submitted_at":"2024-03-13T20:12:01Z","title":"Bugs in Large Language Models Generated Code: An Empirical Study","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.08937","snapshot_observed_at":"2026-08-12T16:42:23.544993Z","title":"arXiv preprint arXiv:2403.08937 (2024)","venue":null,"work_id":null,"year":2024},"citing_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},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.544993Z"},"links":{"cited_paper":"/paper/2403.08937","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:a2bceff2e1c046387ee6ac4718fa41d7917b91c10787c5eec1684fc3a54c6e35","observation_id":"62b43c26-7dc6-42dc-a621-f6cc398adafd","resolution":{"observed_at":"2026-08-12T16:42:23.544993Z","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-12T16:42:23.864791Z","title":"In: Accepted at 2024 IEEE 32nd International Requirements Engineering Conference (RE)","venue":null,"work_id":"38a51763-9fa4-4999-bf76-8dd158778a4a","year":2024},"citing_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},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.550705Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:770ba2d039c5328c68a68ae6c89e17d1d5a21f69257e28b8eb8588202f450d2b","observation_id":"3bf29f9b-3ab4-4109-93d2-cc3f94bcf9cf","resolution":{"observed_at":"2026-08-12T16:42:23.869426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.848393Z","title":"experience: Evalu- ating the usability of code generation tools powered by large language models","venue":null,"work_id":"a843fca3-40d8-40ed-ad84-2cd7c156d005","year":2022},"citing_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},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.555296Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:cc992741a83d07ccc8cfaf2a9e5cbeceb0a6c1de513c3b0282660595349595ca","observation_id":"f80cd865-eeda-42b3-a98a-767c73986660","resolution":{"observed_at":"2026-08-12T16:42:23.853351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T16:42:23.560310Z","title":"Advances in neural information pro- cessing systems 30 (2017)","venue":null,"work_id":null,"year":2017},"citing_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},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.560310Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:66abb162a9221d389fea1af199e81013ac7d75e9b52f7ffdb18f243f3ba8a503","observation_id":"1359e6da-51cf-444e-bb56-9e9871dba627","resolution":{"observed_at":"2026-08-12T16:42:23.560310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10001","last_updated":"2023-06-01T05:38:00Z","snapshot_observed_at":"2026-08-16T16:07:27.021649Z","submitted_at":"2022-12-20T05:20:54Z","title":"Towards Understanding Chain-of-Thought Prompting: An Empirical Study of What Matters","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10001","snapshot_observed_at":"2026-08-12T16:42:23.564934Z","title":"arXiv preprint arXiv:2212.10001 (2022)","venue":null,"work_id":null,"year":2022},"citing_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},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.564934Z"},"links":{"cited_paper":"/paper/2212.10001","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:4eb3fe65b9635449bedbe180a283f69578fcf4f9725b21d0a3caa3691203b5ee","observation_id":"2bcf1209-3a31-4db7-8bb9-9b63c2e0e948","resolution":{"observed_at":"2026-08-12T16:42:23.564934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.10205","last_updated":"2024-05-27T07:08:31Z","snapshot_observed_at":"2026-08-16T15:54:08.108332Z","submitted_at":"2023-02-20T12:57:12Z","title":"ChatIE: Zero-Shot Information Extraction via Chatting with ChatGPT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.10205","snapshot_observed_at":"2026-08-12T16:42:23.570001Z","title":"arXiv preprint arXiv:2302.10205 (2023)","venue":null,"work_id":null,"year":2023},"citing_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},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.570001Z"},"links":{"cited_paper":"/paper/2302.10205","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:aa655cd328668888dd0c95f2529d0f06a73b8c103176ed37795fc7a80969e9e3","observation_id":"639e0927-afd5-4103-9191-1a6509e4ca13","resolution":{"observed_at":"2026-08-12T16:42:23.570001Z","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-12T16:42:23.820892Z","title":"https://en.wikipedia.org/w/index.php?title=Assertion_ (software_development)&oldid=1179241560 (2023), [Online; accessed 27-May- 2024]","venue":null,"work_id":"e389d8e4-26eb-4fac-9390-4ebed79b3dd4","year":2023},"citing_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},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.574992Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:6921cd1de7d0e84962b29201c3d0b8f9f91929ed4e8bcb274401768bf24f5a8a","observation_id":"ff5d6ad2-6d00-4f77-bbbb-03ffe9234245","resolution":{"observed_at":"2026-08-12T16:42:23.826630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.07496","last_updated":"2024-06-11T17:32:21Z","snapshot_observed_at":"2026-08-13T02:15:58.634561Z","submitted_at":"2024-06-11T17:32:21Z","title":"TextGrad: Automatic \"Differentiation\" via Text","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.07496","snapshot_observed_at":"2026-08-12T16:42:23.579636Z","title":"arXiv preprint arXiv:2406.07496 (2024)","venue":null,"work_id":null,"year":2024},"citing_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},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.579636Z"},"links":{"cited_paper":"/paper/2406.07496","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:22322f76c0aced7099dd4258106b402de587675cc643de6515d11c6a86caed9c","observation_id":"81814685-f25f-4038-8683-073621c89eb1","resolution":{"observed_at":"2026-08-12T16:42:23.579636Z","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-12T16:42:23.803364Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence","venue":null,"work_id":"8fb26df4-6cbd-4ac4-af66-f5954251ab4d","year":2024},"citing_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},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.584828Z"},"links":{"citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:6c40ec7cb5e4163e6afc042ecb2a015c6ac33d2f8946ce3655a6dc4476645f4f","observation_id":"ba29bf76-8a3d-4329-8437-f9969854bcf5","resolution":{"observed_at":"2026-08-12T16:42:23.809675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13269","last_updated":"2024-11-20T12:38:17Z","latest_version":1,"primary_category":"cs.SE","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"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":0,"verified_fuzzy":19},"total_outbound_references":41},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 2 inbound Pith citation observations for arXiv:2411.13269."}