{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:VJVVRRHGLZVZ6QNWT325TA4WHK","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":"4476fcc700d69f3a0cf4d2e07fd458361aef890d0ad95394ad6486f187ee9710","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-10-10T17:39:12Z","title_canon_sha256":"d523a81e993c0b7977803a559924f3ce239f94541c9b1d7262a119df3ff3d461"},"schema_version":"1.0","source":{"id":"2010.05050","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2010.05050","created_at":"2026-07-05T02:50:19Z"},{"alias_kind":"arxiv_version","alias_value":"2010.05050v2","created_at":"2026-07-05T02:50:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.05050","created_at":"2026-07-05T02:50:19Z"},{"alias_kind":"pith_short_12","alias_value":"VJVVRRHGLZVZ","created_at":"2026-07-05T02:50:19Z"},{"alias_kind":"pith_short_16","alias_value":"VJVVRRHGLZVZ6QNW","created_at":"2026-07-05T02:50:19Z"},{"alias_kind":"pith_short_8","alias_value":"VJVVRRHG","created_at":"2026-07-05T02:50:19Z"}],"graph_snapshots":[{"event_id":"sha256:9a3814e7208155c8edb376d4ccbebd8d15065ddcb531ee3ab41a282d5667243e","target":"graph","created_at":"2026-07-05T02:50: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/2010.05050/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Probabilistic software analysis aims at quantifying the probability of a target event occurring during the execution of a program processing uncertain incoming data or written itself using probabilistic programming constructs. Recent techniques combine symbolic execution with model counting or solution space quantification methods to obtain accurate estimates of the occurrence probability of rare target events, such as failures in a mission-critical system. However, they face several scalability and applicability limitations when analyzing software processing with high-dimensional and correlat","authors_text":"Antonio Filieri, Yicheng Luo, Yuan Zhou","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-10-10T17:39:12Z","title":"Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.05050","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:e97b477c61180976cc396268955f41467db1ef3331d4ccf0170fb5643ab14135","target":"record","created_at":"2026-07-05T02:50: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":"4476fcc700d69f3a0cf4d2e07fd458361aef890d0ad95394ad6486f187ee9710","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-10-10T17:39:12Z","title_canon_sha256":"d523a81e993c0b7977803a559924f3ce239f94541c9b1d7262a119df3ff3d461"},"schema_version":"1.0","source":{"id":"2010.05050","kind":"arxiv","version":2}},"canonical_sha256":"aa6b58c4e65e6b9f41b69ef5d983963aac69667bfa61d448d4e055781fc66f76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa6b58c4e65e6b9f41b69ef5d983963aac69667bfa61d448d4e055781fc66f76","first_computed_at":"2026-07-05T02:50:19.585029Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:50:19.585029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"re6L5q4uCvomeFyW8u8QsPVsuGmzQ1apXdzion4T9ckGVf5Nf+du1FTT+Zxd8i9l8I8WShQFYWKRlOwg0TSeDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:50:19.585450Z","signed_message":"canonical_sha256_bytes"},"source_id":"2010.05050","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e97b477c61180976cc396268955f41467db1ef3331d4ccf0170fb5643ab14135","sha256:9a3814e7208155c8edb376d4ccbebd8d15065ddcb531ee3ab41a282d5667243e"],"state_sha256":"a017e833609366974bc7326ae2b5f3c06a16adf6760a98e4e04dc82037b10faf"}