{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6X7J2HLGDVVN5JUUMZVOARZICY","short_pith_number":"pith:6X7J2HLG","canonical_record":{"source":{"id":"2410.21736","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-10-29T04:50:34Z","cross_cats_sorted":[],"title_canon_sha256":"d9f9985c73af53c6b926d019e19065c54c3a34dd4db80ada4255247280c1e16c","abstract_canon_sha256":"c8b1fa1a8e7670c9cf1fbdab7808660242c938c7e1bedd474b5d9649c44eeceb"},"schema_version":"1.0"},"canonical_sha256":"f5fe9d1d661d6adea694666ae047281628e91e5b4f5470fa04b1844870a4e5aa","source":{"kind":"arxiv","id":"2410.21736","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.21736","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"arxiv_version","alias_value":"2410.21736v2","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21736","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"pith_short_12","alias_value":"6X7J2HLGDVVN","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"6X7J2HLGDVVN5JUU","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"6X7J2HLG","created_at":"2026-07-05T09:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6X7J2HLGDVVN5JUUMZVOARZICY","target":"record","payload":{"canonical_record":{"source":{"id":"2410.21736","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-10-29T04:50:34Z","cross_cats_sorted":[],"title_canon_sha256":"d9f9985c73af53c6b926d019e19065c54c3a34dd4db80ada4255247280c1e16c","abstract_canon_sha256":"c8b1fa1a8e7670c9cf1fbdab7808660242c938c7e1bedd474b5d9649c44eeceb"},"schema_version":"1.0"},"canonical_sha256":"f5fe9d1d661d6adea694666ae047281628e91e5b4f5470fa04b1844870a4e5aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:28:14.630555Z","signature_b64":"oavPGfscwDcWtDBTKtA9cVQth+ezV+CKisIiJ7NNcg2gnjOiHwVnXOSiiUAc7meX3WTjYNU70teLIZjSYKoGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5fe9d1d661d6adea694666ae047281628e91e5b4f5470fa04b1844870a4e5aa","last_reissued_at":"2026-07-05T09:28:14.630174Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:28:14.630174Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.21736","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-05T09:28:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aa26ZCOPYXSyaM54kDSD3qIJRshUcUyqPvZoIE/3yEwtau0H1mQ0fjTi/TetYQucvD8ti9Cn0dQMzMQZ82ZEBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T12:47:15.186541Z"},"content_sha256":"af27da54b56a9a322f0492dbc9a93e12f07112edd263122f377902bc26012dea","schema_version":"1.0","event_id":"sha256:af27da54b56a9a322f0492dbc9a93e12f07112edd263122f377902bc26012dea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6X7J2HLGDVVN5JUUMZVOARZICY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Aryaman Gupta, Kaustav Chakraborty, Somil Bansal","submitted_at":"2024-10-29T04:50:34Z","abstract_excerpt":"Autonomous systems, such as self-driving cars and drones, have made significant strides in recent years by leveraging visual inputs and machine learning for decision-making and control. Despite their impressive performance, these vision-based controllers can make erroneous predictions when faced with novel or out-of-distribution inputs. Such errors can cascade into catastrophic system failures and compromise system safety. In this work, we compute Neural Reachable Tubes, which act as parameterized approximations of Backward Reachable Tubes to stress-test the vision-based controllers and mine t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.21736","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/2410.21736/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-05T09:28:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"62f3RmWau3o4obEhWFKRy+HHGsA5BIMQpXYIwmqrqrRi6jgHoMyuWJVzLyD7QeT/dvrtCdVDbY0uLpfUmvLHDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T12:47:15.187269Z"},"content_sha256":"0332eb7c515d645fc6d45bbf3beaef872c7b0265c5ef805bf7dc975d711678f0","schema_version":"1.0","event_id":"sha256:0332eb7c515d645fc6d45bbf3beaef872c7b0265c5ef805bf7dc975d711678f0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6X7J2HLGDVVN5JUUMZVOARZICY/bundle.json","state_url":"https://pith.science/pith/6X7J2HLGDVVN5JUUMZVOARZICY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6X7J2HLGDVVN5JUUMZVOARZICY/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-10T12:47:15Z","links":{"resolver":"https://pith.science/pith/6X7J2HLGDVVN5JUUMZVOARZICY","bundle":"https://pith.science/pith/6X7J2HLGDVVN5JUUMZVOARZICY/bundle.json","state":"https://pith.science/pith/6X7J2HLGDVVN5JUUMZVOARZICY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6X7J2HLGDVVN5JUUMZVOARZICY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6X7J2HLGDVVN5JUUMZVOARZICY","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":"c8b1fa1a8e7670c9cf1fbdab7808660242c938c7e1bedd474b5d9649c44eeceb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-10-29T04:50:34Z","title_canon_sha256":"d9f9985c73af53c6b926d019e19065c54c3a34dd4db80ada4255247280c1e16c"},"schema_version":"1.0","source":{"id":"2410.21736","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.21736","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"arxiv_version","alias_value":"2410.21736v2","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21736","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"pith_short_12","alias_value":"6X7J2HLGDVVN","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"6X7J2HLGDVVN5JUU","created_at":"2026-07-05T09:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"6X7J2HLG","created_at":"2026-07-05T09:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:0332eb7c515d645fc6d45bbf3beaef872c7b0265c5ef805bf7dc975d711678f0","target":"graph","created_at":"2026-07-05T09:28:14Z","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/2410.21736/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous systems, such as self-driving cars and drones, have made significant strides in recent years by leveraging visual inputs and machine learning for decision-making and control. Despite their impressive performance, these vision-based controllers can make erroneous predictions when faced with novel or out-of-distribution inputs. Such errors can cascade into catastrophic system failures and compromise system safety. In this work, we compute Neural Reachable Tubes, which act as parameterized approximations of Backward Reachable Tubes to stress-test the vision-based controllers and mine t","authors_text":"Aryaman Gupta, Kaustav Chakraborty, Somil Bansal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-10-29T04:50:34Z","title":"Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.21736","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:af27da54b56a9a322f0492dbc9a93e12f07112edd263122f377902bc26012dea","target":"record","created_at":"2026-07-05T09:28:14Z","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":"c8b1fa1a8e7670c9cf1fbdab7808660242c938c7e1bedd474b5d9649c44eeceb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-10-29T04:50:34Z","title_canon_sha256":"d9f9985c73af53c6b926d019e19065c54c3a34dd4db80ada4255247280c1e16c"},"schema_version":"1.0","source":{"id":"2410.21736","kind":"arxiv","version":2}},"canonical_sha256":"f5fe9d1d661d6adea694666ae047281628e91e5b4f5470fa04b1844870a4e5aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f5fe9d1d661d6adea694666ae047281628e91e5b4f5470fa04b1844870a4e5aa","first_computed_at":"2026-07-05T09:28:14.630174Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:28:14.630174Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oavPGfscwDcWtDBTKtA9cVQth+ezV+CKisIiJ7NNcg2gnjOiHwVnXOSiiUAc7meX3WTjYNU70teLIZjSYKoGAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:28:14.630555Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.21736","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af27da54b56a9a322f0492dbc9a93e12f07112edd263122f377902bc26012dea","sha256:0332eb7c515d645fc6d45bbf3beaef872c7b0265c5ef805bf7dc975d711678f0"],"state_sha256":"ef93129ca5b0852065f92523b5aca18574489259b15c659fb269bec2a1b209e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9hRjtOHif4dph+7CJi/e9S5WbBQri1TLpbyIyM8gYmoSEcL2Oopu4zY+aogyWBlBP/7JvVb5suCsSabft5smDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T12:47:15.192865Z","bundle_sha256":"8f18bbddef96c4ad907b4b967545c6e51ccf0f3772946d2b1d53d0f8d6b04fa9"}}