{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AEE4LBJUTVSLS66C5NFSVQ7PW2","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"43ad0aea29cb6d2ce8fe3c4edfdb005e47b6ecf837f604b89592d5b60f4830a3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-26T08:18:30Z","title_canon_sha256":"243efb8c4b3dce8d1da58e5f2dd36e254eea010ee53be66e63dfccb9f6471f45"},"schema_version":"1.0","source":{"id":"2505.19658","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.19658","created_at":"2026-07-05T11:09:34Z"},{"alias_kind":"arxiv_version","alias_value":"2505.19658v1","created_at":"2026-07-05T11:09:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.19658","created_at":"2026-07-05T11:09:34Z"},{"alias_kind":"pith_short_12","alias_value":"AEE4LBJUTVSL","created_at":"2026-07-05T11:09:34Z"},{"alias_kind":"pith_short_16","alias_value":"AEE4LBJUTVSLS66C","created_at":"2026-07-05T11:09:34Z"},{"alias_kind":"pith_short_8","alias_value":"AEE4LBJU","created_at":"2026-07-05T11:09:34Z"}],"graph_snapshots":[{"event_id":"sha256:7056cc15bbdabcb35b05eb0f12f4d18e17b81195f0e56aec94f75187766b3c2e","target":"graph","created_at":"2026-07-05T11:09:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.19658/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software engineers in various industrial domains are already using Large Language Models (LLMs) to accelerate the process of implementing parts of software systems. When considering its potential use for ADAS or AD systems in the automotive context, there is a need to systematically assess this new setup: LLMs entail a well-documented set of risks for safety-related systems' development due to their stochastic nature. To reduce the effort for code reviewers to evaluate LLM-generated code, we propose an evaluation pipeline to conduct sanity-checks on the generated code. We compare the performan","authors_text":"Ali Nouri, Beatriz Cabrero-Daniel, Christian Berger, H{\\aa}kan Sivencrona, Krishna Ronanki, Zhennan Fei","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-26T08:18:30Z","title":"Large Language Models in Code Co-generation for Safe Autonomous Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.19658","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3ce1938c1b568144a1d3a8f544631aaabf635b1ff8c3f6a54e978d2f3508db8f","target":"record","created_at":"2026-07-05T11:09:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"43ad0aea29cb6d2ce8fe3c4edfdb005e47b6ecf837f604b89592d5b60f4830a3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-26T08:18:30Z","title_canon_sha256":"243efb8c4b3dce8d1da58e5f2dd36e254eea010ee53be66e63dfccb9f6471f45"},"schema_version":"1.0","source":{"id":"2505.19658","kind":"arxiv","version":1}},"canonical_sha256":"0109c585349d64b97bc2eb4b2ac3efb6b8f331602e537e8212adf53c86315a16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0109c585349d64b97bc2eb4b2ac3efb6b8f331602e537e8212adf53c86315a16","first_computed_at":"2026-07-05T11:09:34.135007Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:09:34.135007Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3s53InGqsUUFal5u8wqPPFRP6MvG0paCLrBg1w0rADQYv0EMZO2kPgZv68PTGHXkYfwOGRJSLHB4t91qbi2DAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:09:34.135643Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.19658","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ce1938c1b568144a1d3a8f544631aaabf635b1ff8c3f6a54e978d2f3508db8f","sha256:7056cc15bbdabcb35b05eb0f12f4d18e17b81195f0e56aec94f75187766b3c2e"],"state_sha256":"f4e89df386a99983addf02cd6cbeec7f1f75e304f968a74d64c19e38c31e058e"}