{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QJOL3Z4NYZWVH5ZC73B3TIZMPE","short_pith_number":"pith:QJOL3Z4N","canonical_record":{"source":{"id":"2505.03643","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T15:50:43Z","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"title_canon_sha256":"6b01a03cda86f017d21a00fa8573582b1b58f5ada97c8affb39273e51a543bec","abstract_canon_sha256":"650e910a7ba2394a9480f46b511d696350984867ca2fe2b88cef7803211d46c7"},"schema_version":"1.0"},"canonical_sha256":"825cbde78dc66d53f722fec3b9a32c79398f79b48e39081bbec074e807a3619a","source":{"kind":"arxiv","id":"2505.03643","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.03643","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"arxiv_version","alias_value":"2505.03643v1","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.03643","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_12","alias_value":"QJOL3Z4NYZWV","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_16","alias_value":"QJOL3Z4NYZWVH5ZC","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_8","alias_value":"QJOL3Z4N","created_at":"2026-07-05T10:59:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QJOL3Z4NYZWVH5ZC73B3TIZMPE","target":"record","payload":{"canonical_record":{"source":{"id":"2505.03643","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T15:50:43Z","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"title_canon_sha256":"6b01a03cda86f017d21a00fa8573582b1b58f5ada97c8affb39273e51a543bec","abstract_canon_sha256":"650e910a7ba2394a9480f46b511d696350984867ca2fe2b88cef7803211d46c7"},"schema_version":"1.0"},"canonical_sha256":"825cbde78dc66d53f722fec3b9a32c79398f79b48e39081bbec074e807a3619a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:59:19.857023Z","signature_b64":"dTlM6+pY3eGIyi/p+hf16CWGVxVebFYxKCRfRWYjKZ8uOYAAy2YKGS9fDt60jxiFQtaphP/4Yt3VLxI4hau8Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"825cbde78dc66d53f722fec3b9a32c79398f79b48e39081bbec074e807a3619a","last_reissued_at":"2026-07-05T10:59:19.856550Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:59:19.856550Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.03643","source_version":1,"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-05T10:59:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z9va03Qv7zYxkfiOF2PJJLdIbQXNhL/LjsPwohVG6ie65CokVM7dPdZjNO5xBku7OOmlPvxVa7K1/o6hcW8FDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T16:07:17.284861Z"},"content_sha256":"dd478e2b79d1a30c53c616031ac29db5e2128cbf0f76d875f47a5409cdb01584","schema_version":"1.0","event_id":"sha256:dd478e2b79d1a30c53c616031ac29db5e2128cbf0f76d875f47a5409cdb01584"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QJOL3Z4NYZWVH5ZC73B3TIZMPE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO","cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Chelsea Sidrane, Jana Tumova","submitted_at":"2025-05-06T15:50:43Z","abstract_excerpt":"Learning-enabled planning and control algorithms are increasingly popular, but they often lack rigorous guarantees of performance or safety. We introduce an algorithm for computing underapproximate backward reachable sets of nonlinear discrete time neural feedback loops. We then use the backward reachable sets to check goal-reaching properties. Our algorithm is based on overapproximating the system dynamics function to enable computation of underapproximate backward reachable sets through solutions of mixed-integer linear programs. We rigorously analyze the soundness of our algorithm and demon"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.03643","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/2505.03643/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-05T10:59:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xsjflFtg9En3EH9KVWVIgqZE+yuVm8x7nEgB1xScGB89g4wT5M44oaEhaOfkrZ3gkVltWPBnB6SEAKJGdCDFBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T16:07:17.285404Z"},"content_sha256":"9260142efc910889578c4edea0dfccfe53d852db584faea4fb045a7757b6f750","schema_version":"1.0","event_id":"sha256:9260142efc910889578c4edea0dfccfe53d852db584faea4fb045a7757b6f750"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE/bundle.json","state_url":"https://pith.science/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE/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-18T16:07:17Z","links":{"resolver":"https://pith.science/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE","bundle":"https://pith.science/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE/bundle.json","state":"https://pith.science/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QJOL3Z4NYZWVH5ZC73B3TIZMPE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QJOL3Z4NYZWVH5ZC73B3TIZMPE","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":"650e910a7ba2394a9480f46b511d696350984867ca2fe2b88cef7803211d46c7","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T15:50:43Z","title_canon_sha256":"6b01a03cda86f017d21a00fa8573582b1b58f5ada97c8affb39273e51a543bec"},"schema_version":"1.0","source":{"id":"2505.03643","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.03643","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"arxiv_version","alias_value":"2505.03643v1","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.03643","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_12","alias_value":"QJOL3Z4NYZWV","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_16","alias_value":"QJOL3Z4NYZWVH5ZC","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_8","alias_value":"QJOL3Z4N","created_at":"2026-07-05T10:59:19Z"}],"graph_snapshots":[{"event_id":"sha256:9260142efc910889578c4edea0dfccfe53d852db584faea4fb045a7757b6f750","target":"graph","created_at":"2026-07-05T10:59:19Z","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.03643/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Learning-enabled planning and control algorithms are increasingly popular, but they often lack rigorous guarantees of performance or safety. We introduce an algorithm for computing underapproximate backward reachable sets of nonlinear discrete time neural feedback loops. We then use the backward reachable sets to check goal-reaching properties. Our algorithm is based on overapproximating the system dynamics function to enable computation of underapproximate backward reachable sets through solutions of mixed-integer linear programs. We rigorously analyze the soundness of our algorithm and demon","authors_text":"Chelsea Sidrane, Jana Tumova","cross_cats":["cs.LO","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T15:50:43Z","title":"BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.03643","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:dd478e2b79d1a30c53c616031ac29db5e2128cbf0f76d875f47a5409cdb01584","target":"record","created_at":"2026-07-05T10:59:19Z","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":"650e910a7ba2394a9480f46b511d696350984867ca2fe2b88cef7803211d46c7","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-06T15:50:43Z","title_canon_sha256":"6b01a03cda86f017d21a00fa8573582b1b58f5ada97c8affb39273e51a543bec"},"schema_version":"1.0","source":{"id":"2505.03643","kind":"arxiv","version":1}},"canonical_sha256":"825cbde78dc66d53f722fec3b9a32c79398f79b48e39081bbec074e807a3619a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"825cbde78dc66d53f722fec3b9a32c79398f79b48e39081bbec074e807a3619a","first_computed_at":"2026-07-05T10:59:19.856550Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:59:19.856550Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dTlM6+pY3eGIyi/p+hf16CWGVxVebFYxKCRfRWYjKZ8uOYAAy2YKGS9fDt60jxiFQtaphP/4Yt3VLxI4hau8Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T10:59:19.857023Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.03643","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd478e2b79d1a30c53c616031ac29db5e2128cbf0f76d875f47a5409cdb01584","sha256:9260142efc910889578c4edea0dfccfe53d852db584faea4fb045a7757b6f750"],"state_sha256":"5db1778bd249934749973bec51ffc6d5ea4626a11376b983eb70e9611e79a697"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2jJpwalg+Ph0J0QafRP826Qj1xzOCMLmcaUJJXolWWVioRwK+NjZPy0ZGQ9QxlJRwNI+uM6EauaxGnsUPedPAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T16:07:17.290805Z","bundle_sha256":"024f0a8322c574d05cf0bfa30f00b289265a63e4ae19324b25f8abfdba929d07"}}