{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VTKYUMNUAESX7OTCMWYSSSN4KL","short_pith_number":"pith:VTKYUMNU","canonical_record":{"source":{"id":"1803.06328","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2018-03-16T17:30:35Z","cross_cats_sorted":["cs.PL","stat.CO"],"title_canon_sha256":"6137868c10833bed5703d7acf1e7556cbcf1e5edcb5bdbe9ba9e49d623e0bb8e","abstract_canon_sha256":"67a2eadaf634b125ded182d860713a21d2b1a4a6b0da504b9c3280868d64f423"},"schema_version":"1.0"},"canonical_sha256":"acd58a31b401257fba6265b12949bc52f43343c5d2e884e5627818f8cd5e3e98","source":{"kind":"arxiv","id":"1803.06328","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06328","created_at":"2026-05-18T00:09:35Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06328v2","created_at":"2026-05-18T00:09:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06328","created_at":"2026-05-18T00:09:35Z"},{"alias_kind":"pith_short_12","alias_value":"VTKYUMNUAESX","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VTKYUMNUAESX7OTC","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VTKYUMNU","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VTKYUMNUAESX7OTCMWYSSSN4KL","target":"record","payload":{"canonical_record":{"source":{"id":"1803.06328","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2018-03-16T17:30:35Z","cross_cats_sorted":["cs.PL","stat.CO"],"title_canon_sha256":"6137868c10833bed5703d7acf1e7556cbcf1e5edcb5bdbe9ba9e49d623e0bb8e","abstract_canon_sha256":"67a2eadaf634b125ded182d860713a21d2b1a4a6b0da504b9c3280868d64f423"},"schema_version":"1.0"},"canonical_sha256":"acd58a31b401257fba6265b12949bc52f43343c5d2e884e5627818f8cd5e3e98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:35.878499Z","signature_b64":"E3Oib+NFqthk3tDD+Pi8Xg7m5mIpzdayo/N5w1eb5QstOm4AwAC1WIW43n4QkUoVuf4VbcRwCza4K3neYbftBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acd58a31b401257fba6265b12949bc52f43343c5d2e884e5627818f8cd5e3e98","last_reissued_at":"2026-05-18T00:09:35.877919Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:35.877919Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.06328","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:09:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fuVTVZ+yXH0hL/LlJCpdgQLfIf30EX1BO/U9pl61LbQ8v6c36GlX9p7/hmeoK4Zqrk+oWtIiMt9KJfpeHTKsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T10:46:57.678012Z"},"content_sha256":"10077dc6554971ea8bdd38e97ef13a2e7c036fec01a17dc09127ad3aeb1cc793","schema_version":"1.0","event_id":"sha256:10077dc6554971ea8bdd38e97ef13a2e7c036fec01a17dc09127ad3aeb1cc793"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VTKYUMNUAESX7OTCMWYSSSN4KL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Nesting Probabilistic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","stat.CO"],"primary_cat":"stat.ML","authors_text":"Tom Rainforth","submitted_at":"2018-03-16T17:30:35Z","abstract_excerpt":"We formalize the notion of nesting probabilistic programming queries and investigate the resulting statistical implications. We demonstrate that while query nesting allows the definition of models which could not otherwise be expressed, such as those involving agents reasoning about other agents, existing systems take approaches which lead to inconsistent estimates. We show how to correct this by delineating possible ways one might want to nest queries and asserting the respective conditions required for convergence. We further introduce a new online nested Monte Carlo estimator that makes it "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06328","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:09:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ExiC6a85c2u1j/2zLehkjdgCXC/0Q1f/yYdmDTnvT2+z8FVu2/13waoDhtFEOfhU5qhaq4fxOSEB0FLO2b8wAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T10:46:57.678389Z"},"content_sha256":"b897c04a39d1775ceca68c4a51de1a07d9453204d9e083b043bc1dc15f0de7b1","schema_version":"1.0","event_id":"sha256:b897c04a39d1775ceca68c4a51de1a07d9453204d9e083b043bc1dc15f0de7b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VTKYUMNUAESX7OTCMWYSSSN4KL/bundle.json","state_url":"https://pith.science/pith/VTKYUMNUAESX7OTCMWYSSSN4KL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VTKYUMNUAESX7OTCMWYSSSN4KL/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T10:46:57Z","links":{"resolver":"https://pith.science/pith/VTKYUMNUAESX7OTCMWYSSSN4KL","bundle":"https://pith.science/pith/VTKYUMNUAESX7OTCMWYSSSN4KL/bundle.json","state":"https://pith.science/pith/VTKYUMNUAESX7OTCMWYSSSN4KL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VTKYUMNUAESX7OTCMWYSSSN4KL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VTKYUMNUAESX7OTCMWYSSSN4KL","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":"67a2eadaf634b125ded182d860713a21d2b1a4a6b0da504b9c3280868d64f423","cross_cats_sorted":["cs.PL","stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2018-03-16T17:30:35Z","title_canon_sha256":"6137868c10833bed5703d7acf1e7556cbcf1e5edcb5bdbe9ba9e49d623e0bb8e"},"schema_version":"1.0","source":{"id":"1803.06328","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06328","created_at":"2026-05-18T00:09:35Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06328v2","created_at":"2026-05-18T00:09:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06328","created_at":"2026-05-18T00:09:35Z"},{"alias_kind":"pith_short_12","alias_value":"VTKYUMNUAESX","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VTKYUMNUAESX7OTC","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VTKYUMNU","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:b897c04a39d1775ceca68c4a51de1a07d9453204d9e083b043bc1dc15f0de7b1","target":"graph","created_at":"2026-05-18T00:09:35Z","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":"We formalize the notion of nesting probabilistic programming queries and investigate the resulting statistical implications. We demonstrate that while query nesting allows the definition of models which could not otherwise be expressed, such as those involving agents reasoning about other agents, existing systems take approaches which lead to inconsistent estimates. We show how to correct this by delineating possible ways one might want to nest queries and asserting the respective conditions required for convergence. We further introduce a new online nested Monte Carlo estimator that makes it ","authors_text":"Tom Rainforth","cross_cats":["cs.PL","stat.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2018-03-16T17:30:35Z","title":"Nesting Probabilistic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06328","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:10077dc6554971ea8bdd38e97ef13a2e7c036fec01a17dc09127ad3aeb1cc793","target":"record","created_at":"2026-05-18T00:09:35Z","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":"67a2eadaf634b125ded182d860713a21d2b1a4a6b0da504b9c3280868d64f423","cross_cats_sorted":["cs.PL","stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2018-03-16T17:30:35Z","title_canon_sha256":"6137868c10833bed5703d7acf1e7556cbcf1e5edcb5bdbe9ba9e49d623e0bb8e"},"schema_version":"1.0","source":{"id":"1803.06328","kind":"arxiv","version":2}},"canonical_sha256":"acd58a31b401257fba6265b12949bc52f43343c5d2e884e5627818f8cd5e3e98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acd58a31b401257fba6265b12949bc52f43343c5d2e884e5627818f8cd5e3e98","first_computed_at":"2026-05-18T00:09:35.877919Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:35.877919Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E3Oib+NFqthk3tDD+Pi8Xg7m5mIpzdayo/N5w1eb5QstOm4AwAC1WIW43n4QkUoVuf4VbcRwCza4K3neYbftBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:35.878499Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.06328","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10077dc6554971ea8bdd38e97ef13a2e7c036fec01a17dc09127ad3aeb1cc793","sha256:b897c04a39d1775ceca68c4a51de1a07d9453204d9e083b043bc1dc15f0de7b1"],"state_sha256":"45d9cd31b77318e06f6ed544011074cab4aaf0ce0965d3138441449d34bad6d7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UkPPIPeqF+fSx0aCcWVa55y8YWBHhJoRpzKRg3RU3m1e0H1eGrTn3VIIN8bAE0Zmk9ULCMICpdn6ZMpTLFptBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T10:46:57.680384Z","bundle_sha256":"c3a72bbd35e0eef1a779b943fe5c2ee08d4f7c50047757f061c24bbbdbd293c7"}}