{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:PJXK3Q7ZPD4WKN46OFUIO4VXCV","short_pith_number":"pith:PJXK3Q7Z","schema_version":"1.0","canonical_sha256":"7a6eadc3f978f965379e71688772b7154197c79ee198e209e0a9d72080fda35d","source":{"kind":"arxiv","id":"2502.21308","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2502.21308","created_at":"2026-07-05T11:05:23.614786+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.21308v2","created_at":"2026-07-05T11:05:23.614786+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.21308","created_at":"2026-07-05T11:05:23.614786+00:00"},{"alias_kind":"pith_short_12","alias_value":"PJXK3Q7ZPD4W","created_at":"2026-07-05T11:05:23.614786+00:00"},{"alias_kind":"pith_short_16","alias_value":"PJXK3Q7ZPD4WKN46","created_at":"2026-07-05T11:05:23.614786+00:00"},{"alias_kind":"pith_short_8","alias_value":"PJXK3Q7Z","created_at":"2026-07-05T11:05:23.614786+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2512.02893","citing_title":"Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction","ref_index":68,"is_internal_anchor":false},{"citing_arxiv_id":"2604.14360","citing_title":"Digital Guardians: The Past and The Future of Cyber-Physical Resilience","ref_index":223,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV","json":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV.json","graph_json":"https://pith.science/api/pith-number/PJXK3Q7ZPD4WKN46OFUIO4VXCV/graph.json","events_json":"https://pith.science/api/pith-number/PJXK3Q7ZPD4WKN46OFUIO4VXCV/events.json","paper":"https://pith.science/paper/PJXK3Q7Z"},"agent_actions":{"view_html":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV","download_json":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV.json","view_paper":"https://pith.science/paper/PJXK3Q7Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.21308&json=true","fetch_graph":"https://pith.science/api/pith-number/PJXK3Q7ZPD4WKN46OFUIO4VXCV/graph.json","fetch_events":"https://pith.science/api/pith-number/PJXK3Q7ZPD4WKN46OFUIO4VXCV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/action/storage_attestation","attest_author":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/action/author_attestation","sign_citation":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/action/citation_signature","submit_replication":"https://pith.science/pith/PJXK3Q7ZPD4WKN46OFUIO4VXCV/action/replication_record"}},"created_at":"2026-07-05T11:05:23.614786+00:00","updated_at":"2026-07-05T11:05:23.614786+00:00"}