{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:F6X3HZ3L66TDUS4PAJX4DOU4GS","short_pith_number":"pith:F6X3HZ3L","canonical_record":{"source":{"id":"2510.06717","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-10-08T07:13:18Z","cross_cats_sorted":[],"title_canon_sha256":"20d25fbed2d7e00446f58b708158019dfe9a0c2959516ff78f44a1438ff6181f","abstract_canon_sha256":"ba6a3b709894f81e1b719d8ba37f43618fad6cffc880bd6ec1227b79e137625a"},"schema_version":"1.0"},"canonical_sha256":"2fafb3e76bf7a63a4b8f026fc1ba9c3490b778206069f0958864116ee58d45cb","source":{"kind":"arxiv","id":"2510.06717","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.06717","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"arxiv_version","alias_value":"2510.06717v2","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.06717","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"pith_short_12","alias_value":"F6X3HZ3L66TD","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"pith_short_16","alias_value":"F6X3HZ3L66TDUS4P","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"pith_short_8","alias_value":"F6X3HZ3L","created_at":"2026-07-14T00:18:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:F6X3HZ3L66TDUS4PAJX4DOU4GS","target":"record","payload":{"canonical_record":{"source":{"id":"2510.06717","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-10-08T07:13:18Z","cross_cats_sorted":[],"title_canon_sha256":"20d25fbed2d7e00446f58b708158019dfe9a0c2959516ff78f44a1438ff6181f","abstract_canon_sha256":"ba6a3b709894f81e1b719d8ba37f43618fad6cffc880bd6ec1227b79e137625a"},"schema_version":"1.0"},"canonical_sha256":"2fafb3e76bf7a63a4b8f026fc1ba9c3490b778206069f0958864116ee58d45cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-14T00:18:19.851099Z","signature_b64":"2KTv4Z7iNLft0+zRgZR70OolwgjNDqBVMVVzhzu16+j991EcR4bnQwcdrvk7V5U0L2V4ihtWrfJO3uJsmwRmAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fafb3e76bf7a63a4b8f026fc1ba9c3490b778206069f0958864116ee58d45cb","last_reissued_at":"2026-07-14T00:18:19.850194Z","signature_status":"signed_v1","first_computed_at":"2026-07-14T00:18:19.850194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.06717","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-14T00:18:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZACnx66qs59l33JcXZDA/byDJe2MzW+UDsUNYNnuiuDpf1g/uBfpCgiEtnvzMRAEquzwi/+eV/yQPnYzt0QoDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:59:06.088958Z"},"content_sha256":"fa4e4327a7727d17b550c1900dfaa4f9540ed667b4ca3209cad5e8f9d79074df","schema_version":"1.0","event_id":"sha256:fa4e4327a7727d17b550c1900dfaa4f9540ed667b4ca3209cad5e8f9d79074df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:F6X3HZ3L66TDUS4PAJX4DOU4GS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Matthias Althoff, Sebastian Illing, Yuanfei Lin","submitted_at":"2025-10-08T07:13:18Z","abstract_excerpt":"Large language models (LLMs) have been widely applied to knowledge-driven decision-making for automated vehicles due to their strong generalization and reasoning capabilities. However, the safety of the resulting decisions cannot be ensured due to possible hallucinations and the lack of integrated vehicle dynamics. To address this issue, we propose SanDRA, the first safe large-language-model-based decision making framework for automated vehicles using reachability analysis. Our approach starts with a comprehensive description of the driving scenario to prompt LLMs to generate and rank feasible"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.06717","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2510.06717/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-14T00:18:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1Iij2aU5JcsYFYb9gS286hzXjZyNEtB5anTUBWPs37uRzNQxn184CYXAk9ZpuXiDN4A392aYaDn9u5nKJd9gBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:59:06.089435Z"},"content_sha256":"5bfba0848e317feaf86e8a2170558c0ecc55f4c6dc04b51559b85d486af629b4","schema_version":"1.0","event_id":"sha256:5bfba0848e317feaf86e8a2170558c0ecc55f4c6dc04b51559b85d486af629b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS/bundle.json","state_url":"https://pith.science/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T19:59:06Z","links":{"resolver":"https://pith.science/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS","bundle":"https://pith.science/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS/bundle.json","state":"https://pith.science/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F6X3HZ3L66TDUS4PAJX4DOU4GS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:F6X3HZ3L66TDUS4PAJX4DOU4GS","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":"ba6a3b709894f81e1b719d8ba37f43618fad6cffc880bd6ec1227b79e137625a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-10-08T07:13:18Z","title_canon_sha256":"20d25fbed2d7e00446f58b708158019dfe9a0c2959516ff78f44a1438ff6181f"},"schema_version":"1.0","source":{"id":"2510.06717","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.06717","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"arxiv_version","alias_value":"2510.06717v2","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.06717","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"pith_short_12","alias_value":"F6X3HZ3L66TD","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"pith_short_16","alias_value":"F6X3HZ3L66TDUS4P","created_at":"2026-07-14T00:18:19Z"},{"alias_kind":"pith_short_8","alias_value":"F6X3HZ3L","created_at":"2026-07-14T00:18:19Z"}],"graph_snapshots":[{"event_id":"sha256:5bfba0848e317feaf86e8a2170558c0ecc55f4c6dc04b51559b85d486af629b4","target":"graph","created_at":"2026-07-14T00:18:19Z","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/2510.06717/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have been widely applied to knowledge-driven decision-making for automated vehicles due to their strong generalization and reasoning capabilities. However, the safety of the resulting decisions cannot be ensured due to possible hallucinations and the lack of integrated vehicle dynamics. To address this issue, we propose SanDRA, the first safe large-language-model-based decision making framework for automated vehicles using reachability analysis. Our approach starts with a comprehensive description of the driving scenario to prompt LLMs to generate and rank feasible","authors_text":"Matthias Althoff, Sebastian Illing, Yuanfei Lin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.06717","kind":"arxiv","version":2},"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:fa4e4327a7727d17b550c1900dfaa4f9540ed667b4ca3209cad5e8f9d79074df","target":"record","created_at":"2026-07-14T00:18:19Z","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":"ba6a3b709894f81e1b719d8ba37f43618fad6cffc880bd6ec1227b79e137625a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-10-08T07:13:18Z","title_canon_sha256":"20d25fbed2d7e00446f58b708158019dfe9a0c2959516ff78f44a1438ff6181f"},"schema_version":"1.0","source":{"id":"2510.06717","kind":"arxiv","version":2}},"canonical_sha256":"2fafb3e76bf7a63a4b8f026fc1ba9c3490b778206069f0958864116ee58d45cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fafb3e76bf7a63a4b8f026fc1ba9c3490b778206069f0958864116ee58d45cb","first_computed_at":"2026-07-14T00:18:19.850194Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T00:18:19.850194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2KTv4Z7iNLft0+zRgZR70OolwgjNDqBVMVVzhzu16+j991EcR4bnQwcdrvk7V5U0L2V4ihtWrfJO3uJsmwRmAA==","signature_status":"signed_v1","signed_at":"2026-07-14T00:18:19.851099Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.06717","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa4e4327a7727d17b550c1900dfaa4f9540ed667b4ca3209cad5e8f9d79074df","sha256:5bfba0848e317feaf86e8a2170558c0ecc55f4c6dc04b51559b85d486af629b4"],"state_sha256":"41913b7998dc138beebc5a7715052165e5813f0e578fac031c8d3a5e565bbcea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XsK3n1tyAjivc+xuquisJZ3Tyk7C12A/n2SZpIhdYfG1AmkTdqz3l1qnZYxYEMC8e10sCq8l/XMrLizJSj3PBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T19:59:06.092595Z","bundle_sha256":"3557ca001b75ba445d5a81b14402cda2a5534530b0093f50c40382819c018f5c"}}