{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:P5ZDGMFJRETW4KCJMQ26DLWBTA","short_pith_number":"pith:P5ZDGMFJ","canonical_record":{"source":{"id":"2607.23134","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-25T10:28:47Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"799ff1b81ba0de45a65017d21617f3db9f7e4cfa22265b6b6d032cd0a8e1c14a","abstract_canon_sha256":"0ae34587621bd89f61f54d11b11c6f47e4b11a8178710e3ff6fd08ab3f3cd24d"},"schema_version":"1.0"},"canonical_sha256":"7f723330a989276e28496435e1aec1983a0868f0308c1bca3a433e4a6518ce41","source":{"kind":"arxiv","id":"2607.23134","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.23134","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2607.23134v1","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.23134","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"P5ZDGMFJRETW","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"P5ZDGMFJRETW4KCJ","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"P5ZDGMFJ","created_at":"2026-07-28T01:22:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:P5ZDGMFJRETW4KCJMQ26DLWBTA","target":"record","payload":{"canonical_record":{"source":{"id":"2607.23134","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-25T10:28:47Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"799ff1b81ba0de45a65017d21617f3db9f7e4cfa22265b6b6d032cd0a8e1c14a","abstract_canon_sha256":"0ae34587621bd89f61f54d11b11c6f47e4b11a8178710e3ff6fd08ab3f3cd24d"},"schema_version":"1.0"},"canonical_sha256":"7f723330a989276e28496435e1aec1983a0868f0308c1bca3a433e4a6518ce41","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T01:22:08.807471Z","signature_b64":"XLscWKaJvuYA/LgxmHGiodWpDIx4+jgzdIULjrKFDOO9wMsuMnHB89TSKBL3zxZXraepgH39wPgxnN1ZY6fqDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f723330a989276e28496435e1aec1983a0868f0308c1bca3a433e4a6518ce41","last_reissued_at":"2026-07-28T01:22:08.806595Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T01:22:08.806595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.23134","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-28T01:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aarQMuGBvOtRrxtZgRBExyXIJ4NbjKmzq/i+Pbo8RhBEAegIf9bQ5y8PwkFkol8iBDzf+KuIG0eMYTOxvz5ZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:03:57.608772Z"},"content_sha256":"dbcb92d7fad28976de788e5d4af5df97df9239afbf76ae7c4a9bc947c65b16ef","schema_version":"1.0","event_id":"sha256:dbcb92d7fad28976de788e5d4af5df97df9239afbf76ae7c4a9bc947c65b16ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:P5ZDGMFJRETW4KCJMQ26DLWBTA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Bardh Hoxha, Georgios Fainekos, Giulia Pedrielli, Hideki Okamoto, Preetom Biswas, Tanmay Khandait","submitted_at":"2026-07-25T10:28:47Z","abstract_excerpt":"Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation. Existing falsification approaches rely on conditional sampling strategies that factor the joint distribution over environments and system executions, and therefore suffer from multiplicative rarity effects: the simultaneous scarcity of failure-inducing inputs and failure-inducing traces makes exhaustive search prohibitively expensive.\n  This paper develops DiffTilt, a distributional framework that exponentially tilts a diffusion model-induced joint distr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.23134","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/2607.23134/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-28T01:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5rBBIk3IyY1dVjK4oZ3RRSVpYsC90F8TQABEs6Yydo1nEb75c6qyw7teRf60LOe6MKLiKHV+cPYbgoN+EITuAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:03:57.609285Z"},"content_sha256":"6f9ef748f52626e6b464f197bd3b64255a7eafbf19749c09aaf5d571a9618cd4","schema_version":"1.0","event_id":"sha256:6f9ef748f52626e6b464f197bd3b64255a7eafbf19749c09aaf5d571a9618cd4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA/bundle.json","state_url":"https://pith.science/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA/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-03T22:03:57Z","links":{"resolver":"https://pith.science/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA","bundle":"https://pith.science/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA/bundle.json","state":"https://pith.science/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P5ZDGMFJRETW4KCJMQ26DLWBTA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:P5ZDGMFJRETW4KCJMQ26DLWBTA","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":"0ae34587621bd89f61f54d11b11c6f47e4b11a8178710e3ff6fd08ab3f3cd24d","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-25T10:28:47Z","title_canon_sha256":"799ff1b81ba0de45a65017d21617f3db9f7e4cfa22265b6b6d032cd0a8e1c14a"},"schema_version":"1.0","source":{"id":"2607.23134","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.23134","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2607.23134v1","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.23134","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"P5ZDGMFJRETW","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"P5ZDGMFJRETW4KCJ","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"P5ZDGMFJ","created_at":"2026-07-28T01:22:08Z"}],"graph_snapshots":[{"event_id":"sha256:6f9ef748f52626e6b464f197bd3b64255a7eafbf19749c09aaf5d571a9618cd4","target":"graph","created_at":"2026-07-28T01:22:08Z","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/2607.23134/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation. Existing falsification approaches rely on conditional sampling strategies that factor the joint distribution over environments and system executions, and therefore suffer from multiplicative rarity effects: the simultaneous scarcity of failure-inducing inputs and failure-inducing traces makes exhaustive search prohibitively expensive.\n  This paper develops DiffTilt, a distributional framework that exponentially tilts a diffusion model-induced joint distr","authors_text":"Bardh Hoxha, Georgios Fainekos, Giulia Pedrielli, Hideki Okamoto, Preetom Biswas, Tanmay Khandait","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-25T10:28:47Z","title":"Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.23134","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:dbcb92d7fad28976de788e5d4af5df97df9239afbf76ae7c4a9bc947c65b16ef","target":"record","created_at":"2026-07-28T01:22:08Z","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":"0ae34587621bd89f61f54d11b11c6f47e4b11a8178710e3ff6fd08ab3f3cd24d","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-25T10:28:47Z","title_canon_sha256":"799ff1b81ba0de45a65017d21617f3db9f7e4cfa22265b6b6d032cd0a8e1c14a"},"schema_version":"1.0","source":{"id":"2607.23134","kind":"arxiv","version":1}},"canonical_sha256":"7f723330a989276e28496435e1aec1983a0868f0308c1bca3a433e4a6518ce41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f723330a989276e28496435e1aec1983a0868f0308c1bca3a433e4a6518ce41","first_computed_at":"2026-07-28T01:22:08.806595Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T01:22:08.806595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XLscWKaJvuYA/LgxmHGiodWpDIx4+jgzdIULjrKFDOO9wMsuMnHB89TSKBL3zxZXraepgH39wPgxnN1ZY6fqDw==","signature_status":"signed_v1","signed_at":"2026-07-28T01:22:08.807471Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.23134","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dbcb92d7fad28976de788e5d4af5df97df9239afbf76ae7c4a9bc947c65b16ef","sha256:6f9ef748f52626e6b464f197bd3b64255a7eafbf19749c09aaf5d571a9618cd4"],"state_sha256":"1704b9564c957fa7086bb28ce3ed624fb34c27c1066e7d2ce471590fd3b40c70"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F/aUxb+Q9hdzehPY5tzfIfk4igdwJFaqZ4PoFTPGJR2ojrgVfBujiL0wFSg1y5GUQp8MXrQonXwCnkE3xlFZCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T22:03:57.612818Z","bundle_sha256":"b401478a8ce2ead8048beab01ca263f541b1481ddfc668a12b43ef9c72049fb5"}}