{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CKZ3AGQOO463Q5XSO6LTF7WKZ2","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":"fabd5abfc31e0a107a79de923b946e7e75b4ef1463fcb98a619ed834cae0d7bc","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-06T06:37:46Z","title_canon_sha256":"303fadda29402782afd46154af75ceb41d5e213f34ed03acf2d2b46fd82c8393"},"schema_version":"1.0","source":{"id":"1806.02027","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.02027","created_at":"2026-05-18T00:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"1806.02027v3","created_at":"2026-05-18T00:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.02027","created_at":"2026-05-18T00:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"CKZ3AGQOO463","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CKZ3AGQOO463Q5XS","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CKZ3AGQO","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:e2637ae2437c9629655d80d1040a28eb5f376a71d5e815a0ff61fdc19bb1197b","target":"graph","created_at":"2026-05-18T00:13: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"},"paper":{"abstract_excerpt":"Despite the recent successes of probabilistic programming languages (PPLs) in AI applications, PPLs offer only limited support for random variables whose distributions combine discrete and continuous elements. We develop the notion of measure-theoretic Bayesian networks (MTBNs) and use it to provide more general semantics for PPLs with arbitrarily many random variables defined over arbitrary measure spaces. We develop two new general sampling algorithms that are provably correct under the MTBN framework: the lexicographic likelihood weighting (LLW) for general MTBNs and the lexicographic parti","authors_text":"Nicholas Hay, Siddharth Srivastava, Simon Du, Stuart Russell, Yi Wu","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-06T06:37:46Z","title":"Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.02027","kind":"arxiv","version":3},"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:adf9f708d95e6d3f5c3a22ecb4d683da929c5c48de7dd42411a2e316e720b4a3","target":"record","created_at":"2026-05-18T00:13: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":"fabd5abfc31e0a107a79de923b946e7e75b4ef1463fcb98a619ed834cae0d7bc","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-06T06:37:46Z","title_canon_sha256":"303fadda29402782afd46154af75ceb41d5e213f34ed03acf2d2b46fd82c8393"},"schema_version":"1.0","source":{"id":"1806.02027","kind":"arxiv","version":3}},"canonical_sha256":"12b3b01a0e773db876f2779732fecacea2f44e192abfaeff6abb13e2d2531453","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12b3b01a0e773db876f2779732fecacea2f44e192abfaeff6abb13e2d2531453","first_computed_at":"2026-05-18T00:13:54.766811Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:54.766811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NBm54eNVAcqoxC0nPTOEreEKBisDaWWnnEq2IS+2FZcG9xmFbERC93TQlvp4VvI56LxV2B4CKwaPyyMZ/tNtDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:54.767544Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.02027","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:adf9f708d95e6d3f5c3a22ecb4d683da929c5c48de7dd42411a2e316e720b4a3","sha256:e2637ae2437c9629655d80d1040a28eb5f376a71d5e815a0ff61fdc19bb1197b"],"state_sha256":"abbf57fba7336ad044b3b3729d2d5b920ad216e426f4355c6a058c5f63df4fc0"}