{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:ZAXISRBZQKOBKMJ7JQ64KHDOWD","short_pith_number":"pith:ZAXISRBZ","schema_version":"1.0","canonical_sha256":"c82e894439829c15313f4c3dc51c6eb0c1b3988eaa5b0268bea865b700a3fc3f","source":{"kind":"arxiv","id":"2011.02082","version":1},"attestation_state":"computed","paper":{"title":"DeepReach: A Deep Learning Approach to High-Dimensional Reachability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Claire Tomlin, Somil Bansal","submitted_at":"2020-11-04T00:47:59Z","abstract_excerpt":"Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for guaranteeing performance and safety properties of dynamical control systems. Its advantages include compatibility with general nonlinear system dynamics, formal treatment of bounded disturbances, and the ability to deal with state and input constraints. However, it involves solving a PDE, whose computational and memory complexity scales exponentially with respect to the number of state variables, limiting its direct use to small-scale systems. We propose DeepReach, a method that leverages new developments"},"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":"2011.02082","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-11-04T00:47:59Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"ddb6daa9c9b95332e24e226387b36b4013e4b312698468b2d51b9a00535488a8","abstract_canon_sha256":"c95e40379f44e49c5bca120040faec3f7af192a11ce6f3dc39f70bde1319469b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:49:09.040244Z","signature_b64":"3iDw1k6XZ2fAXsUkNXUepaR0TCHQ/JqIbxE+yr2CNfrJq0eNHBKbSlz8kxvpjhyQ06FiZq/fMKXbuYX0CMwcCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c82e894439829c15313f4c3dc51c6eb0c1b3988eaa5b0268bea865b700a3fc3f","last_reissued_at":"2026-07-05T01:49:09.039846Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:49:09.039846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DeepReach: A Deep Learning Approach to High-Dimensional Reachability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Claire Tomlin, Somil Bansal","submitted_at":"2020-11-04T00:47:59Z","abstract_excerpt":"Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for guaranteeing performance and safety properties of dynamical control systems. Its advantages include compatibility with general nonlinear system dynamics, formal treatment of bounded disturbances, and the ability to deal with state and input constraints. However, it involves solving a PDE, whose computational and memory complexity scales exponentially with respect to the number of state variables, limiting its direct use to small-scale systems. We propose DeepReach, a method that leverages new developments"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.02082","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/2011.02082/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":"2011.02082","created_at":"2026-07-05T01:49:09.039905+00:00"},{"alias_kind":"arxiv_version","alias_value":"2011.02082v1","created_at":"2026-07-05T01:49:09.039905+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.02082","created_at":"2026-07-05T01:49:09.039905+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZAXISRBZQKOB","created_at":"2026-07-05T01:49:09.039905+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZAXISRBZQKOBKMJ7","created_at":"2026-07-05T01:49:09.039905+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZAXISRBZ","created_at":"2026-07-05T01:49:09.039905+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/ZAXISRBZQKOBKMJ7JQ64KHDOWD","json":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD.json","graph_json":"https://pith.science/api/pith-number/ZAXISRBZQKOBKMJ7JQ64KHDOWD/graph.json","events_json":"https://pith.science/api/pith-number/ZAXISRBZQKOBKMJ7JQ64KHDOWD/events.json","paper":"https://pith.science/paper/ZAXISRBZ"},"agent_actions":{"view_html":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD","download_json":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD.json","view_paper":"https://pith.science/paper/ZAXISRBZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2011.02082&json=true","fetch_graph":"https://pith.science/api/pith-number/ZAXISRBZQKOBKMJ7JQ64KHDOWD/graph.json","fetch_events":"https://pith.science/api/pith-number/ZAXISRBZQKOBKMJ7JQ64KHDOWD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD/action/storage_attestation","attest_author":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD/action/author_attestation","sign_citation":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD/action/citation_signature","submit_replication":"https://pith.science/pith/ZAXISRBZQKOBKMJ7JQ64KHDOWD/action/replication_record"}},"created_at":"2026-07-05T01:49:09.039905+00:00","updated_at":"2026-07-05T01:49:09.039905+00:00"}