{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ZI5TC64NWX3V4GQY3XSK6GQ2AI","short_pith_number":"pith:ZI5TC64N","canonical_record":{"source":{"id":"2505.03830","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-04T04:46:16Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ef8c84167743f55256319ce303d80bd396c3580dc71ae14e76704adb0bcbf567","abstract_canon_sha256":"f70418802440c96062027b24272b00c8b79b2760baaa883b601776741a4e1d8c"},"schema_version":"1.0"},"canonical_sha256":"ca3b317b8db5f75e1a18dde4af1a1a020fe44e8f76d6f7861a081842aa06fb79","source":{"kind":"arxiv","id":"2505.03830","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.03830","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.03830v1","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.03830","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"pith_short_12","alias_value":"ZI5TC64NWX3V","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"pith_short_16","alias_value":"ZI5TC64NWX3V4GQY","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"pith_short_8","alias_value":"ZI5TC64N","created_at":"2026-07-05T10:59:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ZI5TC64NWX3V4GQY3XSK6GQ2AI","target":"record","payload":{"canonical_record":{"source":{"id":"2505.03830","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-04T04:46:16Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ef8c84167743f55256319ce303d80bd396c3580dc71ae14e76704adb0bcbf567","abstract_canon_sha256":"f70418802440c96062027b24272b00c8b79b2760baaa883b601776741a4e1d8c"},"schema_version":"1.0"},"canonical_sha256":"ca3b317b8db5f75e1a18dde4af1a1a020fe44e8f76d6f7861a081842aa06fb79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:59:32.273368Z","signature_b64":"Llgtwi06uvqWWCDVd/yjp7MpkpUjicgr7ElGrCFXgM2MbLkU4evZAiCLgtgOWMFRYZIQYyaSQLbWrD0BpQ38Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca3b317b8db5f75e1a18dde4af1a1a020fe44e8f76d6f7861a081842aa06fb79","last_reissued_at":"2026-07-05T10:59:32.272846Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:59:32.272846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.03830","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:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ngHZoeu1i2Kr2gEZbPTV8ixtWK1GzRujasITt+bNJsX3dMwVLFvXIV3nfnfnb3H7e3y2DyLGsFe6/up6bAaWCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T01:37:29.097972Z"},"content_sha256":"10bf8dfbbe789011224b5260eacdbf62f2fee33e1f884b94671901a1a7845869","schema_version":"1.0","event_id":"sha256:10bf8dfbbe789011224b5260eacdbf62f2fee33e1f884b94671901a1a7845869"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ZI5TC64NWX3V4GQY3XSK6GQ2AI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Le Qiu, Somil Bansal, Zeyuan Feng","submitted_at":"2025-05-04T04:46:16Z","abstract_excerpt":"Hamilton-Jacobi (HJ) reachability analysis is a widely used method for ensuring the safety of robotic systems. Traditional approaches compute reachable sets by numerically solving an HJ Partial Differential Equation (PDE) over a grid, which is computationally prohibitive due to the curse of dimensionality. Recent learning-based methods have sought to address this challenge by approximating reachability solutions using neural networks trained with PDE residual error. However, these approaches often suffer from unstable training dynamics and suboptimal solutions due to the weak learning signal p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.03830","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.03830/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:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i8nFe7l3UIk2RfRm3RUUYKUuVEbdV9YJ2olyFvAtffmNpy3CE3EE20tndYjRhfAN/A4gkffXo82gZGSUBqz2Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T01:37:29.098665Z"},"content_sha256":"f99e971f1efa2a583e3c8c2bf838b741b1199d172674fc461c0e734532199bcd","schema_version":"1.0","event_id":"sha256:f99e971f1efa2a583e3c8c2bf838b741b1199d172674fc461c0e734532199bcd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI/bundle.json","state_url":"https://pith.science/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI/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-09T01:37:29Z","links":{"resolver":"https://pith.science/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI","bundle":"https://pith.science/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI/bundle.json","state":"https://pith.science/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZI5TC64NWX3V4GQY3XSK6GQ2AI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZI5TC64NWX3V4GQY3XSK6GQ2AI","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":"f70418802440c96062027b24272b00c8b79b2760baaa883b601776741a4e1d8c","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-04T04:46:16Z","title_canon_sha256":"ef8c84167743f55256319ce303d80bd396c3580dc71ae14e76704adb0bcbf567"},"schema_version":"1.0","source":{"id":"2505.03830","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.03830","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.03830v1","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.03830","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"pith_short_12","alias_value":"ZI5TC64NWX3V","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"pith_short_16","alias_value":"ZI5TC64NWX3V4GQY","created_at":"2026-07-05T10:59:32Z"},{"alias_kind":"pith_short_8","alias_value":"ZI5TC64N","created_at":"2026-07-05T10:59:32Z"}],"graph_snapshots":[{"event_id":"sha256:f99e971f1efa2a583e3c8c2bf838b741b1199d172674fc461c0e734532199bcd","target":"graph","created_at":"2026-07-05T10:59:32Z","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.03830/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hamilton-Jacobi (HJ) reachability analysis is a widely used method for ensuring the safety of robotic systems. Traditional approaches compute reachable sets by numerically solving an HJ Partial Differential Equation (PDE) over a grid, which is computationally prohibitive due to the curse of dimensionality. Recent learning-based methods have sought to address this challenge by approximating reachability solutions using neural networks trained with PDE residual error. However, these approaches often suffer from unstable training dynamics and suboptimal solutions due to the weak learning signal p","authors_text":"Le Qiu, Somil Bansal, Zeyuan Feng","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-04T04:46:16Z","title":"Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.03830","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:10bf8dfbbe789011224b5260eacdbf62f2fee33e1f884b94671901a1a7845869","target":"record","created_at":"2026-07-05T10:59:32Z","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":"f70418802440c96062027b24272b00c8b79b2760baaa883b601776741a4e1d8c","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-05-04T04:46:16Z","title_canon_sha256":"ef8c84167743f55256319ce303d80bd396c3580dc71ae14e76704adb0bcbf567"},"schema_version":"1.0","source":{"id":"2505.03830","kind":"arxiv","version":1}},"canonical_sha256":"ca3b317b8db5f75e1a18dde4af1a1a020fe44e8f76d6f7861a081842aa06fb79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca3b317b8db5f75e1a18dde4af1a1a020fe44e8f76d6f7861a081842aa06fb79","first_computed_at":"2026-07-05T10:59:32.272846Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:59:32.272846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Llgtwi06uvqWWCDVd/yjp7MpkpUjicgr7ElGrCFXgM2MbLkU4evZAiCLgtgOWMFRYZIQYyaSQLbWrD0BpQ38Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T10:59:32.273368Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.03830","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10bf8dfbbe789011224b5260eacdbf62f2fee33e1f884b94671901a1a7845869","sha256:f99e971f1efa2a583e3c8c2bf838b741b1199d172674fc461c0e734532199bcd"],"state_sha256":"a7f33032cfda05868837e7b18bf1e9295f614fd491ad50c03d4d804e67a1d7a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3AV/0wp+FtNnKIXR2YYGWE9WQVpwbYSFkQwVuA9oVITtHfIUQzz7Hh4HvXMkurgW0RgkIStjqmA2rJ1MVpyyAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T01:37:29.104150Z","bundle_sha256":"f5922dba5a21a7ac284cd3deea679317ba06f05a99f9a15d555dd84aeba8b443"}}