{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YWKIITLEYQFFBYSDBMSKBM7PWX","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":"071bb672053fe2efd607255b93dfec5984a9377f875222d07c703a1419276255","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-07-14T14:02:36Z","title_canon_sha256":"b2e9e23fa1770fb77a6a2e96ca4d3a017f81e0ba3ee7e12eeeae9f1bae1638c4"},"schema_version":"1.0","source":{"id":"2307.07355","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.07355","created_at":"2026-07-05T06:30:54Z"},{"alias_kind":"arxiv_version","alias_value":"2307.07355v1","created_at":"2026-07-05T06:30:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.07355","created_at":"2026-07-05T06:30:54Z"},{"alias_kind":"pith_short_12","alias_value":"YWKIITLEYQFF","created_at":"2026-07-05T06:30:54Z"},{"alias_kind":"pith_short_16","alias_value":"YWKIITLEYQFFBYSD","created_at":"2026-07-05T06:30:54Z"},{"alias_kind":"pith_short_8","alias_value":"YWKIITLE","created_at":"2026-07-05T06:30:54Z"}],"graph_snapshots":[{"event_id":"sha256:79a86b1249b9e77e2583b581d305d0a322381d2926dd085a25749e900a45102b","target":"graph","created_at":"2026-07-05T06:30:54Z","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/2307.07355/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this extended abstract, we discuss the opportunity to formally verify that inference systems for probabilistic programming guarantee good performance. In particular, we focus on hybrid inference systems that combine exact and approximate inference to try to exploit the advantages of each. Their performance depends critically on a) the division between exact and approximate inference, and b) the computational resources consumed by exact inference.\n  We describe several projects in this direction. Semi-symbolic Inference (SSI) is a type of hybrid inference system that provides limited guarant","authors_text":"Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-07-14T14:02:36Z","title":"Verifying Performance Properties of Probabilistic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.07355","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:cf41ef86975f2381ac1c28ef8b04e41030c1f2677c1d04c17f286882982806d8","target":"record","created_at":"2026-07-05T06:30:54Z","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":"071bb672053fe2efd607255b93dfec5984a9377f875222d07c703a1419276255","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-07-14T14:02:36Z","title_canon_sha256":"b2e9e23fa1770fb77a6a2e96ca4d3a017f81e0ba3ee7e12eeeae9f1bae1638c4"},"schema_version":"1.0","source":{"id":"2307.07355","kind":"arxiv","version":1}},"canonical_sha256":"c594844d64c40a50e2430b24a0b3efb5dc23feca801b3aba8c809f9a53456bf0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c594844d64c40a50e2430b24a0b3efb5dc23feca801b3aba8c809f9a53456bf0","first_computed_at":"2026-07-05T06:30:54.448105Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:30:54.448105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jZdvLKtHK8iqAaceHPopTa0UJln7/YTvzKpZCUpAehMboQYL/vIiXAUKtlblwOlhyR4gSg5SDxdqazf84+ouCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:30:54.448616Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.07355","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf41ef86975f2381ac1c28ef8b04e41030c1f2677c1d04c17f286882982806d8","sha256:79a86b1249b9e77e2583b581d305d0a322381d2926dd085a25749e900a45102b"],"state_sha256":"cb9ad86158a2044191c674fc3129c29027505adade5e97be50388b06a0acb036"}