{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JKTXZUTQOBA47CZM3Z7KXS65WM","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":"6a8965a13645980472c2541c335c0f74dcf069371173adcd0b7f25dc5da777ed","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-11T19:07:49Z","title_canon_sha256":"5e043e42c12a0111e78fcdea38021e590b552efd7aa91c3934becfc40c05948f"},"schema_version":"1.0","source":{"id":"1907.05451","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05451","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05451v2","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05451","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"pith_short_12","alias_value":"JKTXZUTQOBA4","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JKTXZUTQOBA47CZM","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JKTXZUTQ","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:331ee342ae36c2b53859103120b531baff9108fb584639397af33fa7d8d65edf","target":"graph","created_at":"2026-05-17T23:40:38Z","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"},"paper":{"abstract_excerpt":"Inference metaprogramming enables effective probabilistic programming by supporting the decomposition of executions of probabilistic programs into subproblems and the deployment of hybrid probabilistic inference algorithms that apply different probabilistic inference algorithms to different subproblems. We introduce the concept of independent subproblem inference (as opposed to entangled subproblem inference in which the subproblem inference algorithm operates over the full program trace) and present a mathematical framework for studying convergence properties of hybrid inference algorithms th","authors_text":"Martin Rinard, Shivam Handa, Vikash Mansinghka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-11T19:07:49Z","title":"Compositional Inference Metaprogramming with Convergence Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05451","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:35adec86e7ce4d23dd561352eb4e139bf55b9153c006f91510e950c0a2c0472b","target":"record","created_at":"2026-05-17T23:40:38Z","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":"6a8965a13645980472c2541c335c0f74dcf069371173adcd0b7f25dc5da777ed","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-11T19:07:49Z","title_canon_sha256":"5e043e42c12a0111e78fcdea38021e590b552efd7aa91c3934becfc40c05948f"},"schema_version":"1.0","source":{"id":"1907.05451","kind":"arxiv","version":2}},"canonical_sha256":"4aa77cd2707041cf8b2cde7eabcbddb3055300e09c120d97d5cb1d6ac6ef56a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4aa77cd2707041cf8b2cde7eabcbddb3055300e09c120d97d5cb1d6ac6ef56a6","first_computed_at":"2026-05-17T23:40:38.477292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:38.477292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8bL9KRq2V9FxR9Wsw6vaOY6Yimx8jgCZp7yDFleoycr6IOO6fWN8gD/hBls9xmtspgqeEjcRllZd7Q7qa0OkBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:38.477820Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05451","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35adec86e7ce4d23dd561352eb4e139bf55b9153c006f91510e950c0a2c0472b","sha256:331ee342ae36c2b53859103120b531baff9108fb584639397af33fa7d8d65edf"],"state_sha256":"9b69a1a595e247d3a50e17d9c493e93125f9223458406f3f224286696b198532"}