{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:ZD2YZOM6HCHIE4OXEDHDA7EJBU","short_pith_number":"pith:ZD2YZOM6","schema_version":"1.0","canonical_sha256":"c8f58cb99e388e8271d720ce307c890d1ced34670bfff8f3167b6c5d787c0b34","source":{"kind":"arxiv","id":"2605.26577","version":1},"attestation_state":"computed","paper":{"title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Bin Hu, Hao Cheng, Haoyu Li, Huan Zhang, Xiangru Zhong","submitted_at":"2026-05-26T05:49:19Z","abstract_excerpt":"Learning-based methods for synthesizing controllers have gained popularity due to their high expressiveness and strong empirical performance. However, in safety-critical scenarios such as autonomous driving, robotics, and power systems, empirical performance alone is insufficient, and formal verification of controller properties such as stability and safety is highly desirable. Unfortunately, many prior verification approaches are either tied to specific structural assumptions on the system or the certificate, making them difficult to transfer across settings, or suffer from poor scalability o"},"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":"2605.26577","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-05-26T05:49:19Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SY","math.OC"],"title_canon_sha256":"283aca94efbc31ac7ab97e294bf9d2461d61ae4f31daeb0668dc5656263a4c43","abstract_canon_sha256":"e1dec3ecad6fe7d6580d6c09731c3587c914bfe5c22ae760246ea1f91ae20c53"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:05:26.841592Z","signature_b64":"JdWjuIcrvEdTkgOkmpLf7sDtR/0S1zOWeNMzc98RFoiGgt3XUpsKlJrwXAD2zHHDeqfLE5fV+zAhpZSF+GGoAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8f58cb99e388e8271d720ce307c890d1ced34670bfff8f3167b6c5d787c0b34","last_reissued_at":"2026-05-27T01:05:26.841102Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:05:26.841102Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Bin Hu, Hao Cheng, Haoyu Li, Huan Zhang, Xiangru Zhong","submitted_at":"2026-05-26T05:49:19Z","abstract_excerpt":"Learning-based methods for synthesizing controllers have gained popularity due to their high expressiveness and strong empirical performance. However, in safety-critical scenarios such as autonomous driving, robotics, and power systems, empirical performance alone is insufficient, and formal verification of controller properties such as stability and safety is highly desirable. Unfortunately, many prior verification approaches are either tied to specific structural assumptions on the system or the certificate, making them difficult to transfer across settings, or suffer from poor scalability o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26577","kind":"arxiv","version":1},"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/2605.26577/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":"2605.26577","created_at":"2026-05-27T01:05:26.841174+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.26577v1","created_at":"2026-05-27T01:05:26.841174+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26577","created_at":"2026-05-27T01:05:26.841174+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZD2YZOM6HCHI","created_at":"2026-05-27T01:05:26.841174+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZD2YZOM6HCHIE4OX","created_at":"2026-05-27T01:05:26.841174+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZD2YZOM6","created_at":"2026-05-27T01:05:26.841174+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU","json":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU.json","graph_json":"https://pith.science/api/pith-number/ZD2YZOM6HCHIE4OXEDHDA7EJBU/graph.json","events_json":"https://pith.science/api/pith-number/ZD2YZOM6HCHIE4OXEDHDA7EJBU/events.json","paper":"https://pith.science/paper/ZD2YZOM6"},"agent_actions":{"view_html":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU","download_json":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU.json","view_paper":"https://pith.science/paper/ZD2YZOM6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.26577&json=true","fetch_graph":"https://pith.science/api/pith-number/ZD2YZOM6HCHIE4OXEDHDA7EJBU/graph.json","fetch_events":"https://pith.science/api/pith-number/ZD2YZOM6HCHIE4OXEDHDA7EJBU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU/action/storage_attestation","attest_author":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU/action/author_attestation","sign_citation":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU/action/citation_signature","submit_replication":"https://pith.science/pith/ZD2YZOM6HCHIE4OXEDHDA7EJBU/action/replication_record"}},"created_at":"2026-05-27T01:05:26.841174+00:00","updated_at":"2026-05-27T01:05:26.841174+00:00"}