{"as_of":"2026-08-18T15:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a693bb3e72bfa312352119835a5d7f1df2f307af3363624f3e0b9dba5f59e895","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-18T06:34:40.430872+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"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-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":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:cbea7001a078278afb63741cd5908d6f1847a2dd62191039fcca402c0c3a8d34","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.676903Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:63799abcbd7301542b615299b8a3b10ee3c138f834194f174938a4bfde95247a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.680934Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:5a79dd24534831f0686433a674ab85dc65d74c589cd43c8ae3b85de802a85336","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:fc11f2d41c8e529f4dd7c978783da56d96970c8dd6fb0694bb0739ed66d9bf17","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-16T20:02:41.852139Z","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:8d2e1b368609af91f7f905641b98e91cc8d63cb8ad85d609168ae04c5bfbdb76","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.690700Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:86b35b51f9120796c3adf3e56ad0fab2f5b2887a91c46d11a04ec3474f2cb44b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.693874Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:2dfe87adf51a4d2b226f06db9895817338db73c94b1194949e556b579c699591","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.697477Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:ad74b7baef0925a62e9ce28ad8decd142c27f7ef0234ac76fec41700f89107cd","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.700458Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:0b22a1ed1f6d211893f4433902d39c4092594cb6aa4c0a320a31fd3501aa580d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.703302Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:a142575c4e7cae91ec0c05c51430da98de3378c2a0dff7dd3897d26de3000a4e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.706159Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:408e0b146e671050d92ea42ab38a2223ffb9709574b4446f58aac541694c7d35","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.709159Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:33937dd71d263e48e23c28e64df8c8eaa9a594756c14f3b6f85ff302e2bf0916","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.713008Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:5c366919a11dbf01110e7e7b1c4982b5d39074c6b6d6d956b1bf23db9b36d1dc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.716275Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:cfe827725b9124f790e393ce83f44daed6d731837e6d18bfe55204b528a3c9fb","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.719978Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:77e5f75f46457bf8ed488d7bf6977db5a2e46ef294361bcfa9274545a5d6b57e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.723237Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:2b3b8ded571d3b4857b863d1155f73ea81737d36033eedbaffdfbdbede62c02b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.726111Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:04a06283489db17b09e27b3cf1b1ee39dcce90d17cfccce1a44200efa8dfd0ab","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.729909Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:9f8abff2d2a669c2e693821a9e0d74ee6296eb28a22a478efce13aacce7ffc7a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.732783Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:5743e20fee80c218f2e3b114ecd35790382331ecaaa4c8852f110e6916d2fd57","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.735591Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:70ee8e5179dd8c53e009fad4a45101f67a4fa9553c42d8c98f5aa7d4896cc289","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.738800Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:396be49de6f012546acf591701f761adea4092d290fc44153580f21a19f59114","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-17T01:19:18.409791Z","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:320ffe2d7c075d0e9efdc2154b98c9244224247cd6ddc1c53e37af898e67d4c1","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-08-13T17:20:44.002518Z","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:00c80d3135e90f9872f149d7f1b95a257efacbfdd7558ac55a56776ed34d6e9b","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:d97273c5cfebec33f595cdfc6060342735a56cc1b0cf8dee5592174671213efe","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.752871Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:341508fe899a9f28a5c95d67f35d0d7e339dee39736acc41215ccca6744db0ca","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.755950Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:e15691b9d78989e9afab2668dc24bb698af37ff459d659e2fae2bec62d6690c1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T04:49:44.143162Z","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:1cbeee0ce93f44211f95e3a378e496ebe221e58f517a0b8d66098e5a62dc60cc","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-08-12T17:33:35.329857Z","submitted_at":"2024-11-28T17:12:21Z","title":"VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.19275","snapshot_observed_at":"2026-08-07T10:54:50.762296Z","title":"VeCoGen: Automating Genera- tion of Formally Verified C Code with Large Language Mod- els","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.04038","last_updated":"2025-06-04T15:01:59Z","snapshot_observed_at":"2026-08-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.762296Z"},"links":{"cited_paper":"/paper/2411.19275","citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:a711696137985b567c637ef85a5117d7e5596b646e1639211f352c42bcff4244","observation_id":"6c186eed-dfba-4c62-b4f5-a5ffa2b07741","resolution":{"observed_at":"2026-08-07T10:54:50.762296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.765432Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:47c3d95ea38a0c30e3ed3e6a3fad36f6ea799f94542ab4b6cb49d2db567a960f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T13:44:05.924850Z","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:078e31c57bad978fd8353827250edd8343c9a03cbadb4c5483cdd9c19834b261","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.771728Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:1874d65797cb40b32e3c408fdc3a3eabfc7fd35e26ee7919e0e8d03505cfd7c8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:37f9530972e2efdbab3b46ef7d64036535d71efcb81d294b1c874dfedd71620c","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-14T04:42:19.578053Z","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:f66e436ccb7b1a0d8849554273791e869b0e96637d62d0ac461980a7951e280d","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.781213Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:4fdb2873a2c8e40f175ae8636aa81c85b1b1ee879f093572734c792717697b0a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.787166Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:67912c5380d4796eda6fe1b633fc5e521b99cef03d519ac5a2bf9c9d4a404b37","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"YOLOP: You Only Look Once for Panoptic Driving Perception","venue":"Machine Intelligence Research","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.792990Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:e86aa1024fcaa3f80ab2ae7efa2915b922922987797d7fd2de3f356d0e5b0dba","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.795855Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:b2dbf57d835c970001b5529b88cdde5083356b80f180dda8f4c586f5150573eb","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":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:f0c3fcade57277faceee147daf35faf9bb3acebb6a7be12499c724f6dfe26bb7","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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T10:54:50.790238Z"},"links":{"citing_paper":"/paper/2506.04038"},"observation_digest":"sha256:113838f15c26b3691b1b42e5aa757377322365faca6a84702a6e41206ea476ab","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T14:33:32.645900Z","submitted_at":"2025-06-04T15:01:59Z","title":"Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems"},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 1 inbound Pith citation observation for arXiv:2506.04038."}