{"as_of":"2026-08-07T23:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a04c626e2eacf8b7e45e15079e8fdae12bc0991b32fd7c4195605b8acf2615c6","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:54:50.795855Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:48:48.929158Z","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:53.160799Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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},"cited_work":{"arxiv_id":"2506.04038","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.04038","snapshot_observed_at":"2026-08-06T15:48:53.160799Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","venue":"cs.SE","work_id":"0a8f7917-2bcf-4ee8-92b9-558ff2df3fd6","year":2025},"citing_paper":{"arxiv_id":"2507.15025","last_updated":"2025-07-20T16:21:51Z","snapshot_observed_at":"2026-08-06T15:40:13.298987Z","submitted_at":"2025-07-20T16:21:51Z","title":"Survey of GenAI for Automotive Software Development: From Requirements to Executable Code","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T15:48:48.929158Z"},"links":{"cited_paper":"/paper/2506.04038","citing_paper":"/paper/2507.15025"},"observation_digest":"sha256:6f3edf9bea80f5181452066875e9faab5bb6dfc0fc7eb9f747cfc81fea72143b","observation_id":"152494c3-7c23-43a2-bc11-935be59db08a","resolution":{"observed_at":"2026-08-06T15:48:53.276261Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.04038/citation-record","integrity":"/paper/2506.04038/integrity","json":"/paper/2506.04038/citation-record.json","paper":"/paper/2506.04038"},"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-07T10:54:51.233189Z","title":"Software Engineering: A Practitioner’s Approach","venue":null,"work_id":"acef2978-4bc1-4ce0-af2b-c232a98360bc","year":2009},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.676903Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:350ac04d9b74bbb6b27525125bcbe79adb2cb912a200afa25ad810e4d01cd392","observation_id":"7e15dda2-743b-428d-80a2-51da38a6a896","resolution":{"observed_at":"2026-08-07T10:54:51.236264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:50.680934Z","title":"A Standard Driven Software Architecture for Fully Autonomous Vehicles","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.680934Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:8c8795fe50d81c6020f62b991d10fc68ba273bf25489e15c6b83e41c3a954f04","observation_id":"a40797db-60ad-41d9-9139-bb738f9f9a87","resolution":{"observed_at":"2026-08-07T10:54:50.680934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T10:54:50.684054Z","title":"Brown et al","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.684054Z"},"links":{"cited_paper":"/paper/2005.14165","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:4c50fb6f2af0ab833c1182c06f1832952cc30717573f2ff2868be30a801db73f","observation_id":"1522ec3d-7021-4e74-82d5-77e046de4a90","resolution":{"observed_at":"2026-08-07T10:54:50.684054Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.03938","last_updated":"2017-11-10T17:54:40Z","snapshot_observed_at":"2026-08-03T16:54:06.158198Z","submitted_at":"2017-11-10T17:54:40Z","title":"CARLA: An Open Urban Driving Simulator","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.03938","snapshot_observed_at":"2026-08-07T10:54:50.687534Z","title":"CARLA: An Open Urban Driving Simulator","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.687534Z"},"links":{"cited_paper":"/paper/1711.03938","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:dc0d235f9397da34ce8762f6c965e14263a11657d535aa3299cd0039d76baed7","observation_id":"869c81ce-293b-4d3f-be02-99d517850736","resolution":{"observed_at":"2026-08-07T10:54:50.687534Z","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-07T10:54:51.224783Z","title":"Software Engineering","venue":null,"work_id":"6befa8fb-4fe7-4067-a41e-e21734a1dc58","year":2011},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.690700Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:9447455f964d6f1e06d0ca5f41ed5208447ba83859fd89ce3dd125d5e98879a9","observation_id":"bf5ea2c6-49fc-4810-abed-5f967971aba0","resolution":{"observed_at":"2026-08-07T10:54:51.227762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.216349Z","title":"Pressman","venue":null,"work_id":"3183362a-a7c2-45c9-b65c-4aba17d20a23","year":2014},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.693874Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:588ecb60d1c726efac07ff8d648876a25b535e8e419d29d1e9b76bf241c1a0c1","observation_id":"2b2244fb-2f89-48b4-8d55-e2bf45eb5660","resolution":{"observed_at":"2026-08-07T10:54:51.219467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.208150Z","title":"Database System Concepts","venue":null,"work_id":"e1c130d0-8558-40a8-afa4-005d64d4e43b","year":2020},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.697477Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:f058fb7ea0b3c0445fcdcf6f985f3fdc63396df033424c60ef9f206821ec18cd","observation_id":"50abfd1d-93f3-4c2d-aca7-167d6d11f1b3","resolution":{"observed_at":"2026-08-07T10:54:51.211136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.200037Z","title":"Software Architecture in Practice","venue":null,"work_id":"7163fe44-e76f-446e-9ef9-22f13b4a88f5","year":2012},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.700458Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:1279da12194256a32ac8af088813fd2960e3ce0aa2fa5d2b637269692103cc06","observation_id":"e8dd9b75-3bb5-4e99-8ec3-47abca091f40","resolution":{"observed_at":"2026-08-07T10:54:51.202939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.191679Z","title":"Test-Driven Development by Example","venue":null,"work_id":"55ad076e-c67b-493d-8a98-9ad25ff88300","year":2003},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.703302Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:21bdaadd6d2d648b143c3211e48542554dda2b643990427a4c639f08ac8fc0a3","observation_id":"f6aab936-e0fc-45ea-84e5-1a99c93ac094","resolution":{"observed_at":"2026-08-07T10:54:51.194664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.183362Z","title":null,"venue":null,"work_id":"66c171e2-2f5b-44a1-99e3-44bc6b6d7063","year":2002},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.706159Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:e5c72c303b638ee637662585a9613c070a24c9050934fa9b6e16e05f7c3d62bd","observation_id":"e9b2251b-3c70-4d07-8979-7c604363c61f","resolution":{"observed_at":"2026-08-07T10:54:51.186334Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.175045Z","title":"Patterns of Enterprise Application Architec- ture","venue":null,"work_id":"a14be246-8307-4d3a-ba0a-44006c273305","year":2004},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.709159Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:7629357c60f18e733a45b8535d97d4068b5540da7d1ed7511dd00ad9951d4f9c","observation_id":"858b64f5-cb61-45df-a38b-5269dbc9aff1","resolution":{"observed_at":"2026-08-07T10:54:51.178083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.166356Z","title":"Building Secure Software: How to Avoid Security Problems the Right Way","venue":null,"work_id":"eb8a20ba-7ad0-4103-a950-fd4e3dc812cb","year":2001},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.713008Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:a1225a7e7d85df66002d18afc860b24a98cc7a0997c1d4e84a6ee8f963efcee4","observation_id":"d32ea933-1fce-41a9-a826-4b0161bab578","resolution":{"observed_at":"2026-08-07T10:54:51.169553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.158271Z","title":"The Art of Multiprocessor Programming","venue":null,"work_id":"05218ef9-6ac1-4340-9c3e-83d950d3bbd3","year":2012},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.716275Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:6f334eaa936b8577eee088434e549716f40ddd1e176ccc04333f43b1e17650a7","observation_id":"13b52436-dd3f-4f60-ac6c-afc624ef5b65","resolution":{"observed_at":"2026-08-07T10:54:51.161127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.149696Z","title":"A Discipline of Programming","venue":null,"work_id":"2f400d0a-1ae7-4675-8ff2-507c9708e070","year":1997},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.719978Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:81041a2b78a5de8981a569aa028675dbbadcc71bc9a6722d74603664e82dc146","observation_id":"9bb95ef6-c255-470b-a7c9-0a4692f4c9ce","resolution":{"observed_at":"2026-08-07T10:54:51.152819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.141637Z","title":"The C++ Programming Language","venue":null,"work_id":"de794634-a620-4aab-b20c-e8aff251e1dd","year":2013},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.723237Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:186e0ae1f5f2d52ba253423e3f252f71dc2fac947623589e5e083307b0075ab7","observation_id":"a4f99aa3-15a8-4e20-8a7d-7e6dd9e1b340","resolution":{"observed_at":"2026-08-07T10:54:51.144345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.132789Z","title":"Cppcheck: A static analysis tool for C++","venue":null,"work_id":"50a1c3ab-684b-4993-bd5d-15dca4403713","year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.726111Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:b83233bd3c38ab9f508a781ece778e66bb0c4a20449632300de636b98953dde0","observation_id":"58123b9f-6f17-457f-8794-6909d4bbbf2b","resolution":{"observed_at":"2026-08-07T10:54:51.136294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.124510Z","title":"Google Test: C++ Testing Framework","venue":null,"work_id":"5c7598d8-291c-4ab8-bce8-9ef8d3dd64c8","year":2023},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.729909Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:ee4b86f5dc4bd4a2cd6ccb4abed387d386c4726241daaaa9c067817d7d1b5140","observation_id":"beb7883c-0235-4ffd-b13b-2119f43a7762","resolution":{"observed_at":"2026-08-07T10:54:51.127515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.116222Z","title":"ISO 26262: Road vehicles – Functional safety","venue":null,"work_id":"9c6258fd-e6b9-40bd-a831-1125613d57d5","year":2018},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.732783Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:889826b57a26bba2ae34ac3ea178968bd160e7c00a70d673ae59d427d0ceea3c","observation_id":"7be6c52a-781d-49a7-8854-dc5cc339ab7f","resolution":{"observed_at":"2026-08-07T10:54:51.119275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.107749Z","title":"Automotive SPICE Process Assessment Model","venue":null,"work_id":"614a008e-b935-4109-a721-67a7aee18c91","year":2022},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.735591Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:0e9c46a5dd0fd91a6fbb308cc139923a00983deb41b7cfb4f06772f22d67eefa","observation_id":"3342758a-e392-4b88-846b-8f0c44c1296f","resolution":{"observed_at":"2026-08-07T10:54:51.110801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.099214Z","title":"MISRA C: Guidelines for the use of the C language in critical systems","venue":null,"work_id":"9112ea52-78dc-4c91-87ff-c1e65ec498cd","year":2012},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.738800Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:4de1d5a6c959eb7da512a9270dcaf8b7e312907eaff37604675d7f8439ccb5ae","observation_id":"5da21b30-7ae9-44ba-bb6c-0d45f05d1865","resolution":{"observed_at":"2026-08-07T10:54:51.102003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.03762","last_updated":"2023-08-02T00:41:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2017-06-12T17:57:34Z","title":"Attention Is All You Need","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.03762","snapshot_observed_at":"2026-08-07T10:54:50.742023Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":21,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.742023Z"},"links":{"cited_paper":"/paper/1706.03762","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:9ae6374a66296b612c0fe8045d4bd5e44f00f40fda262aaa9e39be1f49de1c26","observation_id":"e29b8d48-0c42-42d1-9543-eea672bb01fc","resolution":{"observed_at":"2026-08-07T10:54:50.742023Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-07-06T18:55:11.576666Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-07T10:54:50.746150Z","title":"The Llama 3 Herd of Models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":22,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.746150Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:62dfa7a30391ba73df094bc99330acf5848117523c1a5b149e6a3ea76cf64b3a","observation_id":"91783240-5176-4537-bca3-fc37664206a6","resolution":{"observed_at":"2026-08-07T10:54:50.746150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-07T10:54:50.749413Z","title":"Qwen2. 5-Coder Technical Report","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":23,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.749413Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:1207d6bc1e5ca6b8b1718d5e13be0a90860998f8d3e5c9d50067e8e3d048c86d","observation_id":"bb956aed-cc0b-40fe-a40b-de2cc191599f","resolution":{"observed_at":"2026-08-07T10:54:50.749413Z","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-07T10:54:51.090210Z","title":"Zero-Shot Prompting and Few- Shot Fine-Tuning: Revisiting Document Image Classifica- tion Using Large Language Models","venue":null,"work_id":"804f9e34-917d-43f1-a2df-67d0177de405","year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.752871Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:4e055496e21c25086fa48428f528dcb74b6d85d7048d3db60b4c251807e93fcd","observation_id":"bda4ab98-2c46-4a84-8fd6-0ed34254a630","resolution":{"observed_at":"2026-08-07T10:54:51.093640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.081765Z","title":"Multimodal Chain-of-Thought Rea- soning in Language Models","venue":null,"work_id":"b312c862-a693-4745-972c-6cd0e934c136","year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.755950Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:79dc3f3414b74f6e6fb42b2a5428762100c5fe694df79ff84bdd853a9473dabc","observation_id":"0452441e-546e-4dc4-9f88-b70fa87ddd3e","resolution":{"observed_at":"2026-08-07T10:54:51.084902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.07702","last_updated":"2024-03-14T02:07:11Z","snapshot_observed_at":"2026-08-02T18:42:43.546865Z","submitted_at":"2023-08-15T11:08:30Z","title":"Better Zero-Shot Reasoning with Role-Play Prompting","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.07702","snapshot_observed_at":"2026-08-07T10:54:50.759067Z","title":"Better Zero-Shot Reasoning with Role- Play Prompting","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":26,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.759067Z"},"links":{"cited_paper":"/paper/2308.07702","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:708e0e51df89f0773cf70f7130014babe4b00e824164dc8fc8f462bc8aa52845","observation_id":"5da7d8c2-b0f5-4727-8b30-3d99a7ea9f88","resolution":{"observed_at":"2026-08-07T10:54:50.759067Z","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-07-06T19:58:35.498502Z","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-07T10:46:28.065440Z","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:fddf871cb09ca84ef097cd3d2cad229eb10113a2a1ba798bb522661448f95bd0","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:54:51.073267Z","title":"Comparison between JSON and Y AML for Data Serialization","venue":null,"work_id":"13ef320d-02b5-4dfc-96c7-ff6e69698e99","year":2011},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.765432Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:56690100c43b012e1af234a68de47bd06ba3dc45d0f2b039779a7e15add5939e","observation_id":"3a104591-b563-472f-9abf-5bcb0098afb4","resolution":{"observed_at":"2026-08-07T10:54:51.076210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.07436","last_updated":"2024-06-11T16:45:17Z","snapshot_observed_at":"2026-07-06T18:29:00.001236Z","submitted_at":"2024-06-11T16:45:17Z","title":"McEval: Massively Multilingual Code Evaluation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.07436","snapshot_observed_at":"2026-08-07T10:54:50.768678Z","title":"McEval: Massively Multilingual Code Evaluation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":29,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.768678Z"},"links":{"cited_paper":"/paper/2406.07436","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:e72429648963501c14d5a8b8d13aba56fa9326b5b89e8f4cd7b8946fe87ec349","observation_id":"dbc8ec0e-4dbd-4367-a326-b0f0265c074f","resolution":{"observed_at":"2026-08-07T10:54:50.768678Z","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-07T10:54:51.064507Z","title":"Aider Code Editing Benchmark","venue":null,"work_id":"e2828bd2-1ba2-4207-9af3-64bd2c7beba9","year":2025},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":30,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.771728Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:1fd2f8898b6dc14ac98ffc7f65fc9897f9fe3d02e19b6555d8d986bdc7d3e70f","observation_id":"7202dc4a-7d67-444b-971a-f4899b5f3461","resolution":{"observed_at":"2026-08-07T10:54:51.067374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T02:11:23.670680Z","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-07T10:54:50.774617Z","title":"Evaluating Large Language Models Trained on Code","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":31,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.774617Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:d58a59128478dc06c4390181b2ad78616dcd80215b93c10da383a19bae28bf20","observation_id":"a5b530f1-659e-4b86-9849-47905f69f4f5","resolution":{"observed_at":"2026-08-07T10:54:50.774617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11931","last_updated":"2024-06-17T13:51:35Z","snapshot_observed_at":"2026-08-07T06:30:25.302107Z","submitted_at":"2024-06-17T13:51:35Z","title":"DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11931","snapshot_observed_at":"2026-08-07T10:54:50.778195Z","title":"DeepSeek-Coder-V2: Breaking the Bar- rier of Closed-Source Models in Code Intelligence","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":32,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.778195Z"},"links":{"cited_paper":"/paper/2406.11931","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:c63a4689fb7fde7064577c701152bd2bcf3d26e3da9f07e2fb067d4dea943a71","observation_id":"551f9471-fcdb-482d-924e-03c66c451655","resolution":{"observed_at":"2026-08-07T10:54:50.778195Z","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-07T10:54:51.055201Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming – The Rise of Code Intelligence","venue":null,"work_id":"00d4b3fc-d636-468d-b521-217f86b4f514","year":null},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":33,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.781213Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:0437e392dcea57edd2faac99da7fd4a62db9bbd9dbfb857584c8abd383890bfe","observation_id":"05b4687f-029d-4440-841b-f5216c788c11","resolution":{"observed_at":"2026-08-07T10:54:51.058646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.046757Z","title":"Codestral: Hello, World! Accessed: January 27,","venue":null,"work_id":"4eaa40dd-0c10-41d8-a33b-21e0229fd14c","year":null},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":34,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.787166Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:bf47d7037c0d6d04f4b12a68f4ef882424b14997cf294de44028e520cea611e4","observation_id":"8a8ce59d-5775-4947-b532-9ae2969d5c02","resolution":{"observed_at":"2026-08-07T10:54:51.049676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11633-022-1339-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:54:50.817994Z","title":"YOLOP: You Only Look Once for Panoptic Driving Perception","venue":null,"work_id":"9068bc2a-f8b3-4cf2-ad19-d36dc8ac3f44","year":2022},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":35,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.792990Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:a6ca6e2ff1d8f5c44bc42b7b65c167805c6fc11dd06e59498669f678d9b79486","observation_id":"9b954913-4c07-4081-bbec-58887eefa311","resolution":{"observed_at":"2026-08-07T10:54:50.823131Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-07T18:18:06.679897+00:00","source":"paper_reference_links","state":"open"},"event_date":"2023-05-31","event_type":"correction","notice_doi":"10.1007/s11633-023-1452-6","provenance":{"observed_at":"2026-07-11T03:07:44.968461+00:00","source":"crossref","source_record_id":"10.1007/s11633-023-1452-6->10.1007/s11633-022-1339-y:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T10:54:51.029032Z","title":"Intelligent transport systems — Adaptive Cruise Control systems — Performance requirements and test procedures","venue":null,"work_id":"e8447ac8-2e45-48da-a526-a995dcc2c7f1","year":2018},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":36,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.795855Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:7af919af3507adc155958ae6ac73a40ee4d4fa2651640fd689be1896768168cb","observation_id":"c3af2862-7b03-4dde-b46b-40b0992e7414","resolution":{"observed_at":"2026-08-07T10:54:51.031927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-08-07T10:54:50.784155Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":2024,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.784155Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:5d00de3d66e2dc5205721d9e7b0825788295a1aab5e191d3a5bdcee71a8c50f7","observation_id":"f8bc5064-6890-48be-b72f-ba1e2ec488ab","resolution":{"observed_at":"2026-08-07T10:54:50.784155Z","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-07T10:54:51.038146Z","title":"URL: https : / / mistral","venue":null,"work_id":"cf6c8a17-a2a1-49ff-aa2c-4c637718d4f5","year":2024},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","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":2025,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.790238Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:73d5812f81cfe1003a3e46192b4cf3b0d46d478c7198fe4a7e21ccc9c07a6818","observation_id":"4ec983ca-bc16-4164-a544-5855ac947887","resolution":{"observed_at":"2026-08-07T10:54:51.041204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T10:46:28.065440Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":1,"verified_fuzzy":24},"total_outbound_references":38},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 1 inbound Pith citation observation for arXiv:2506.04038."}