{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:SRISPB6QFYVILNFME5HFV36NXM","short_pith_number":"pith:SRISPB6Q","schema_version":"1.0","canonical_sha256":"94512787d02e2a85b4ac274e5aefcdbb17fdf5c74342e4d14df0753a5c305ae1","source":{"kind":"arxiv","id":"1708.07787","version":2},"attestation_state":"computed","paper":{"title":"Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.CO"],"primary_cat":"stat.ML","authors_text":"Daniel Lund\\'en, David Broman, Jan Kudlicka, Lawrence M. Murray, Thomas B. Sch\\\"on","submitted_at":"2017-08-25T15:48:20Z","abstract_excerpt":"We introduce a dynamic mechanism for the solution of analytically-tractable substructure in probabilistic programs, using conjugate priors and affine transformations to reduce variance in Monte Carlo estimators. For inference with Sequential Monte Carlo, this automatically yields improvements such as locally-optimal proposals and Rao-Blackwellization. The mechanism maintains a directed graph alongside the running program that evolves dynamically as operations are triggered upon it. Nodes of the graph represent random variables, edges the analytically-tractable relationships between them. Rando"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1708.07787","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2017-08-25T15:48:20Z","cross_cats_sorted":["stat.CO"],"title_canon_sha256":"4a804476efe938e3d700febf2196cbe66fcccadda4ee9ea5889cc056092bcd51","abstract_canon_sha256":"388e6d0f0aca846ab1f8f839c7fdba4c78aeb4da21cceb1218cf76a1c2d09d13"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:30.180355Z","signature_b64":"bH28glJHWrr5wAxJtEtafdb/noW6XTJD6XI/tQDtkI85ueurc3o4DFlVRAbkrYBJibQzQ7IXlJ9KMSLOaz2SCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94512787d02e2a85b4ac274e5aefcdbb17fdf5c74342e4d14df0753a5c305ae1","last_reissued_at":"2026-05-18T00:20:30.179744Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:30.179744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.CO"],"primary_cat":"stat.ML","authors_text":"Daniel Lund\\'en, David Broman, Jan Kudlicka, Lawrence M. Murray, Thomas B. Sch\\\"on","submitted_at":"2017-08-25T15:48:20Z","abstract_excerpt":"We introduce a dynamic mechanism for the solution of analytically-tractable substructure in probabilistic programs, using conjugate priors and affine transformations to reduce variance in Monte Carlo estimators. For inference with Sequential Monte Carlo, this automatically yields improvements such as locally-optimal proposals and Rao-Blackwellization. The mechanism maintains a directed graph alongside the running program that evolves dynamically as operations are triggered upon it. Nodes of the graph represent random variables, edges the analytically-tractable relationships between them. Rando"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.07787","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1708.07787","created_at":"2026-05-18T00:20:30.179833+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.07787v2","created_at":"2026-05-18T00:20:30.179833+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.07787","created_at":"2026-05-18T00:20:30.179833+00:00"},{"alias_kind":"pith_short_12","alias_value":"SRISPB6QFYVI","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"SRISPB6QFYVILNFM","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"SRISPB6Q","created_at":"2026-05-18T12:31:43.269735+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM","json":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM.json","graph_json":"https://pith.science/api/pith-number/SRISPB6QFYVILNFME5HFV36NXM/graph.json","events_json":"https://pith.science/api/pith-number/SRISPB6QFYVILNFME5HFV36NXM/events.json","paper":"https://pith.science/paper/SRISPB6Q"},"agent_actions":{"view_html":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM","download_json":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM.json","view_paper":"https://pith.science/paper/SRISPB6Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.07787&json=true","fetch_graph":"https://pith.science/api/pith-number/SRISPB6QFYVILNFME5HFV36NXM/graph.json","fetch_events":"https://pith.science/api/pith-number/SRISPB6QFYVILNFME5HFV36NXM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM/action/storage_attestation","attest_author":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM/action/author_attestation","sign_citation":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM/action/citation_signature","submit_replication":"https://pith.science/pith/SRISPB6QFYVILNFME5HFV36NXM/action/replication_record"}},"created_at":"2026-05-18T00:20:30.179833+00:00","updated_at":"2026-05-18T00:20:30.179833+00:00"}