{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CTPPDV4ATDFFWC75APW53A757N","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":"3b978bb1bb342165163ab687d414de9f9e6400eff3506b98767e6539af496dd4","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-22T03:10:51Z","title_canon_sha256":"19b25bc87772bf34a91f6f4562c18be7a14786caace10c79158542869a70f5cd"},"schema_version":"1.0","source":{"id":"2606.23754","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23754","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23754v1","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23754","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_12","alias_value":"CTPPDV4ATDFF","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_16","alias_value":"CTPPDV4ATDFFWC75","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_8","alias_value":"CTPPDV4A","created_at":"2026-06-24T00:14:25Z"}],"graph_snapshots":[{"event_id":"sha256:26843bca470610e079a204d01e0112e7cfb03bd3bdc8d80d60cef406402a87f1","target":"graph","created_at":"2026-06-24T00:14: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/2606.23754/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deploying foundation models for robot control raises a central challenge: the expressive power that enables rich, multimodal perception also makes these models opaque and difficult to analyze formally, rendering them intractable for existing verification tools. In this paper, we present FEARL (Foundation-Enabled Assured Robot Learning), a framework that addresses this tension through a modular architectural decomposition. FEARL separates the policy into a large Controller (C) responsible for high-dimensional perception and task reasoning, and a small Safety module (S) that receives low-dimensi","authors_text":"Davide Corsi, Kyungmin Kim, Roy Fox","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-22T03:10:51Z","title":"Verifiable Foundation Models for Robot Safety"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23754","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:1ee784f703b9448e5960a57f198b33862043852e2914c076509ba7fe0b364d04","target":"record","created_at":"2026-06-24T00:14: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":"3b978bb1bb342165163ab687d414de9f9e6400eff3506b98767e6539af496dd4","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-22T03:10:51Z","title_canon_sha256":"19b25bc87772bf34a91f6f4562c18be7a14786caace10c79158542869a70f5cd"},"schema_version":"1.0","source":{"id":"2606.23754","kind":"arxiv","version":1}},"canonical_sha256":"14def1d78098ca5b0bfd03eddd83fdfb766e043c8d5f3575d496e8b2b5eeda2c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14def1d78098ca5b0bfd03eddd83fdfb766e043c8d5f3575d496e8b2b5eeda2c","first_computed_at":"2026-06-24T00:14:25.033601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-24T00:14:25.033601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y8AAzoORILHFJm0nG1HwGe9xd4aL9bNV/ywdlQsk15VLpFp6suAGpQ16PwPIXGg6FCiKjptihMA78BUVa3A1DQ==","signature_status":"signed_v1","signed_at":"2026-06-24T00:14:25.033980Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23754","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ee784f703b9448e5960a57f198b33862043852e2914c076509ba7fe0b364d04","sha256:26843bca470610e079a204d01e0112e7cfb03bd3bdc8d80d60cef406402a87f1"],"state_sha256":"eb6b8c9f662abfc2dec3f60befced3c4df753f09dec5f211eff1f54bb6587d18"}