{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:PJXK3Q7ZPD4WKN46OFUIO4VXCV","short_pith_number":"pith:PJXK3Q7Z","canonical_record":{"source":{"id":"2502.21308","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-02-28T18:51:20Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"08e8bf4cc74fe36683edaa84228631985acbcb2c6ac7acf97dc8343f1182f9e1","abstract_canon_sha256":"0acccb49c3c701fb23921be865decc6be205d9fc5a1c1898a9fb36638d394561"},"schema_version":"1.0"},"canonical_sha256":"7a6eadc3f978f965379e71688772b7154197c79ee198e209e0a9d72080fda35d","source":{"kind":"arxiv","id":"2502.21308","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.21308","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"arxiv_version","alias_value":"2502.21308v2","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.21308","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"pith_short_12","alias_value":"PJXK3Q7ZPD4W","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"pith_short_16","alias_value":"PJXK3Q7ZPD4WKN46","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"pith_short_8","alias_value":"PJXK3Q7Z","created_at":"2026-07-05T11:05:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:PJXK3Q7ZPD4WKN46OFUIO4VXCV","target":"record","payload":{"canonical_record":{"source":{"id":"2502.21308","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-02-28T18:51:20Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"08e8bf4cc74fe36683edaa84228631985acbcb2c6ac7acf97dc8343f1182f9e1","abstract_canon_sha256":"0acccb49c3c701fb23921be865decc6be205d9fc5a1c1898a9fb36638d394561"},"schema_version":"1.0"},"canonical_sha256":"7a6eadc3f978f965379e71688772b7154197c79ee198e209e0a9d72080fda35d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:05:23.615219Z","signature_b64":"Az2pa6Oa4E3BRKdjzJihKHdauGj19/AiCxqZLhLwFU0f3CpPE8ZkPmLZgKt7ZdY+lKV4NNHaNqCbFuaCt+IRCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a6eadc3f978f965379e71688772b7154197c79ee198e209e0a9d72080fda35d","last_reissued_at":"2026-07-05T11:05:23.614727Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:05:23.614727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.21308","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:05:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JA4ukeqZZzNsX2CtPxA+7YJnDhn6x5W+OiFJjhqOJVVSbikh7kCPqbHsxwzr8pi4kOfx/RrLbhyL5AHST4viBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T21:17:58.868276Z"},"content_sha256":"c9d98837fafeaec8f05ba1c841600e1c5d703d9a734794114a1bbcd0875d7179","schema_version":"1.0","event_id":"sha256:c9d98837fafeaec8f05ba1c841600e1c5d703d9a734794114a1bbcd0875d7179"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:PJXK3Q7ZPD4WKN46OFUIO4VXCV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Ivan Ruchkin, Radoslav Ivanov, Thomas Waite, Trevor Turnquist, Yuang Geng","submitted_at":"2025-02-28T18:51:20Z","abstract_excerpt":"It remains a challenge to provide safety guarantees for autonomous systems with neural perception and control. A typical approach obtains symbolic bounds on perception error (e.g., using conformal prediction) and performs verification under these bounds. However, these bounds can lead to drastic conservatism in the resulting end-to-end safety guarantee. This paper proposes an approach to synthesize symbolic perception error bounds that serve as an optimal interface between perception performance and control verification. The key idea is to consider our error bounds to be heteroskedastic with r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.21308","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/2502.21308/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:05:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zj0jHihR/TVrXAhCnswbVq8c01mQ2BDV8kYT625kmURQzurH7FotsfM4b4Lc5f57fiVJDScloYmdZWhYCaWTDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T21:17:58.868818Z"},"content_sha256":"2a36f43e80de27d368cf862166e62d60b910d093e06f680fb3734c199f1bb923","schema_version":"1.0","event_id":"sha256:2a36f43e80de27d368cf862166e62d60b910d093e06f680fb3734c199f1bb923"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/bundle.json","state_url":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/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-08T21:17:58Z","links":{"resolver":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV","bundle":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/bundle.json","state":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PJXK3Q7ZPD4WKN46OFUIO4VXCV","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":"0acccb49c3c701fb23921be865decc6be205d9fc5a1c1898a9fb36638d394561","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-02-28T18:51:20Z","title_canon_sha256":"08e8bf4cc74fe36683edaa84228631985acbcb2c6ac7acf97dc8343f1182f9e1"},"schema_version":"1.0","source":{"id":"2502.21308","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.21308","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"arxiv_version","alias_value":"2502.21308v2","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.21308","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"pith_short_12","alias_value":"PJXK3Q7ZPD4W","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"pith_short_16","alias_value":"PJXK3Q7ZPD4WKN46","created_at":"2026-07-05T11:05:23Z"},{"alias_kind":"pith_short_8","alias_value":"PJXK3Q7Z","created_at":"2026-07-05T11:05:23Z"}],"graph_snapshots":[{"event_id":"sha256:2a36f43e80de27d368cf862166e62d60b910d093e06f680fb3734c199f1bb923","target":"graph","created_at":"2026-07-05T11:05:23Z","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/2502.21308/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"It remains a challenge to provide safety guarantees for autonomous systems with neural perception and control. A typical approach obtains symbolic bounds on perception error (e.g., using conformal prediction) and performs verification under these bounds. However, these bounds can lead to drastic conservatism in the resulting end-to-end safety guarantee. This paper proposes an approach to synthesize symbolic perception error bounds that serve as an optimal interface between perception performance and control verification. The key idea is to consider our error bounds to be heteroskedastic with r","authors_text":"Ivan Ruchkin, Radoslav Ivanov, Thomas Waite, Trevor Turnquist, Yuang Geng","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-02-28T18:51:20Z","title":"State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.21308","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:c9d98837fafeaec8f05ba1c841600e1c5d703d9a734794114a1bbcd0875d7179","target":"record","created_at":"2026-07-05T11:05:23Z","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":"0acccb49c3c701fb23921be865decc6be205d9fc5a1c1898a9fb36638d394561","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-02-28T18:51:20Z","title_canon_sha256":"08e8bf4cc74fe36683edaa84228631985acbcb2c6ac7acf97dc8343f1182f9e1"},"schema_version":"1.0","source":{"id":"2502.21308","kind":"arxiv","version":2}},"canonical_sha256":"7a6eadc3f978f965379e71688772b7154197c79ee198e209e0a9d72080fda35d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a6eadc3f978f965379e71688772b7154197c79ee198e209e0a9d72080fda35d","first_computed_at":"2026-07-05T11:05:23.614727Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:05:23.614727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Az2pa6Oa4E3BRKdjzJihKHdauGj19/AiCxqZLhLwFU0f3CpPE8ZkPmLZgKt7ZdY+lKV4NNHaNqCbFuaCt+IRCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:05:23.615219Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.21308","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9d98837fafeaec8f05ba1c841600e1c5d703d9a734794114a1bbcd0875d7179","sha256:2a36f43e80de27d368cf862166e62d60b910d093e06f680fb3734c199f1bb923"],"state_sha256":"3de3fb1c561e672a85d94ab3fe565d997675c554716bcdb83af4238b112ff146"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HM9ppN37qtINy3i8vG+jFDiOrxh0RLzA+jgmH5L49pbAIHsn5M11llM+HukgaUu2rNuANqTcpGQ5LqqEH44hDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T21:17:58.872596Z","bundle_sha256":"ac30ef6ca8330cdc809881c607b772cbf048241848d26039cfb2c267feed8222"}}