{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FK2EEUF2WT4G3F7R3ZJTNVIVOW","short_pith_number":"pith:FK2EEUF2","canonical_record":{"source":{"id":"2505.09427","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-14T14:28:24Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"38cda0bc282ff6ae6cb8527409afc66e8f7dbf336832e4dab4faa2a0b90df784","abstract_canon_sha256":"56a11b59ba6caad967d9038f1fe8e2292d21fc18738cb1e12e33adf3fa1e3a48"},"schema_version":"1.0"},"canonical_sha256":"2ab44250bab4f86d97f1de5336d51575932903bd3a95609e20562dbe49536fe7","source":{"kind":"arxiv","id":"2505.09427","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.09427","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"2505.09427v2","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.09427","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"FK2EEUF2WT4G","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_16","alias_value":"FK2EEUF2WT4G3F7R","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_8","alias_value":"FK2EEUF2","created_at":"2026-07-05T11:03:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FK2EEUF2WT4G3F7R3ZJTNVIVOW","target":"record","payload":{"canonical_record":{"source":{"id":"2505.09427","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-14T14:28:24Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"38cda0bc282ff6ae6cb8527409afc66e8f7dbf336832e4dab4faa2a0b90df784","abstract_canon_sha256":"56a11b59ba6caad967d9038f1fe8e2292d21fc18738cb1e12e33adf3fa1e3a48"},"schema_version":"1.0"},"canonical_sha256":"2ab44250bab4f86d97f1de5336d51575932903bd3a95609e20562dbe49536fe7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:03:25.438660Z","signature_b64":"AayC1hs67H5pMF5+xq107svocaTwQee0kAngdADluHKX/GkE9s7aefR/e2qssRmeY/TRp+YaEJEqBAduBDU1Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ab44250bab4f86d97f1de5336d51575932903bd3a95609e20562dbe49536fe7","last_reissued_at":"2026-07-05T11:03:25.438187Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:03:25.438187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.09427","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-05T11:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A5IK4G0R3dMDiIigI/UrGdmYKU1sLs24OmyAHEdgOZ3VyTs6HIE2PbgC0P/G5/fZcFDHckLpf5m60csAxU19Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:34:40.251773Z"},"content_sha256":"8ccaabb9423f4414cfd577d61a88da386b574d448de1cd020d40373edf644391","schema_version":"1.0","event_id":"sha256:8ccaabb9423f4414cfd577d61a88da386b574d448de1cd020d40373edf644391"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FK2EEUF2WT4G3F7R3ZJTNVIVOW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SafePath: Conformal Prediction for Safe LLM-Based Autonomous Navigation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.LG","authors_text":"Achref Doula, Alejandro Sanchez Guinea, Max M\\\"uhlh\\\"auser","submitted_at":"2025-05-14T14:28:24Z","abstract_excerpt":"Large Language Models (LLMs) show growing promise in autonomous driving by reasoning over complex traffic scenarios to generate path plans. However, their tendencies toward overconfidence, and hallucinations raise critical safety concerns. We introduce SafePath, a modular framework that augments LLM-based path planning with formal safety guarantees using conformal prediction. SafePath operates in three stages. In the first stage, we use an LLM that generates a set of diverse candidate paths, exploring possible trajectories based on agent behaviors and environmental cues. In the second stage, S"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.09427","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/2505.09427/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-05T11:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d2XmYXkj+vqoG+30i+cPUxeZ3Hd9Wuk3E6J9CQ9z7JOkuqAkSvZaA3sAShZTnrU1zodavbX+gXQYeRv3oovVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:34:40.252314Z"},"content_sha256":"d399cc77b8b83dd455857ef6a8a079d646fdcca557ab619be503e204be7e992f","schema_version":"1.0","event_id":"sha256:d399cc77b8b83dd455857ef6a8a079d646fdcca557ab619be503e204be7e992f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW/bundle.json","state_url":"https://pith.science/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW/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-04T23:34:40Z","links":{"resolver":"https://pith.science/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW","bundle":"https://pith.science/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW/bundle.json","state":"https://pith.science/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FK2EEUF2WT4G3F7R3ZJTNVIVOW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FK2EEUF2WT4G3F7R3ZJTNVIVOW","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":"56a11b59ba6caad967d9038f1fe8e2292d21fc18738cb1e12e33adf3fa1e3a48","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-14T14:28:24Z","title_canon_sha256":"38cda0bc282ff6ae6cb8527409afc66e8f7dbf336832e4dab4faa2a0b90df784"},"schema_version":"1.0","source":{"id":"2505.09427","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.09427","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"2505.09427v2","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.09427","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"FK2EEUF2WT4G","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_16","alias_value":"FK2EEUF2WT4G3F7R","created_at":"2026-07-05T11:03:25Z"},{"alias_kind":"pith_short_8","alias_value":"FK2EEUF2","created_at":"2026-07-05T11:03:25Z"}],"graph_snapshots":[{"event_id":"sha256:d399cc77b8b83dd455857ef6a8a079d646fdcca557ab619be503e204be7e992f","target":"graph","created_at":"2026-07-05T11:03:25Z","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.09427/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) show growing promise in autonomous driving by reasoning over complex traffic scenarios to generate path plans. However, their tendencies toward overconfidence, and hallucinations raise critical safety concerns. We introduce SafePath, a modular framework that augments LLM-based path planning with formal safety guarantees using conformal prediction. SafePath operates in three stages. In the first stage, we use an LLM that generates a set of diverse candidate paths, exploring possible trajectories based on agent behaviors and environmental cues. In the second stage, S","authors_text":"Achref Doula, Alejandro Sanchez Guinea, Max M\\\"uhlh\\\"auser","cross_cats":["cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-14T14:28:24Z","title":"SafePath: Conformal Prediction for Safe LLM-Based Autonomous Navigation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.09427","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:8ccaabb9423f4414cfd577d61a88da386b574d448de1cd020d40373edf644391","target":"record","created_at":"2026-07-05T11:03:25Z","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":"56a11b59ba6caad967d9038f1fe8e2292d21fc18738cb1e12e33adf3fa1e3a48","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-14T14:28:24Z","title_canon_sha256":"38cda0bc282ff6ae6cb8527409afc66e8f7dbf336832e4dab4faa2a0b90df784"},"schema_version":"1.0","source":{"id":"2505.09427","kind":"arxiv","version":2}},"canonical_sha256":"2ab44250bab4f86d97f1de5336d51575932903bd3a95609e20562dbe49536fe7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ab44250bab4f86d97f1de5336d51575932903bd3a95609e20562dbe49536fe7","first_computed_at":"2026-07-05T11:03:25.438187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:03:25.438187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AayC1hs67H5pMF5+xq107svocaTwQee0kAngdADluHKX/GkE9s7aefR/e2qssRmeY/TRp+YaEJEqBAduBDU1Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T11:03:25.438660Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.09427","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ccaabb9423f4414cfd577d61a88da386b574d448de1cd020d40373edf644391","sha256:d399cc77b8b83dd455857ef6a8a079d646fdcca557ab619be503e204be7e992f"],"state_sha256":"b45737d8750c8862a0a3be86c2525e596483588a399d2204cf1dce6e55ad6b82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HnFa+mLlIwJel8a4opnItbxmPMA11nHcRidKn+JsfbwAIMfclx/zhW2SqCDKDi2aJKdzNzN8WC6UCtulEukkBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T23:34:40.257657Z","bundle_sha256":"7af6dc495af94f2f715505a970e8053981b2c8c5cce56b725c1556738d57d322"}}