{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VCIVX6SX6AWYBVGTH4V24LR3FJ","short_pith_number":"pith:VCIVX6SX","canonical_record":{"source":{"id":"1811.05965","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-11-14T18:53:28Z","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"title_canon_sha256":"fc2804b9677c3cab35b7db8c0366e0bdcfc2df8287a4c295e3baac3fbed78519","abstract_canon_sha256":"d46ec7f672824e848344db651be0fc0d5dbd050df21889cc65f22d5c00110c66"},"schema_version":"1.0"},"canonical_sha256":"a8915bfa57f02d80d4d33f2bae2e3b2a49629c1b09fc248aa6af71d664c9ac3a","source":{"kind":"arxiv","id":"1811.05965","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05965","created_at":"2026-05-17T23:59:37Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05965v3","created_at":"2026-05-17T23:59:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05965","created_at":"2026-05-17T23:59:37Z"},{"alias_kind":"pith_short_12","alias_value":"VCIVX6SX6AWY","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VCIVX6SX6AWYBVGT","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VCIVX6SX","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VCIVX6SX6AWYBVGTH4V24LR3FJ","target":"record","payload":{"canonical_record":{"source":{"id":"1811.05965","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-11-14T18:53:28Z","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"title_canon_sha256":"fc2804b9677c3cab35b7db8c0366e0bdcfc2df8287a4c295e3baac3fbed78519","abstract_canon_sha256":"d46ec7f672824e848344db651be0fc0d5dbd050df21889cc65f22d5c00110c66"},"schema_version":"1.0"},"canonical_sha256":"a8915bfa57f02d80d4d33f2bae2e3b2a49629c1b09fc248aa6af71d664c9ac3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:37.955972Z","signature_b64":"+5WwEycpNGLjnhjasoCguyroy763SMiWRC3mQ5Rgix/SnnfnWZskpwUJkd9S+NATsBFXJx8Gjq4N2KpEpAf5Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8915bfa57f02d80d4d33f2bae2e3b2a49629c1b09fc248aa6af71d664c9ac3a","last_reissued_at":"2026-05-17T23:59:37.955189Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:37.955189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.05965","source_version":3,"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-17T23:59:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IHgxStvpQEoqgSxt3/DzOX/Y3YqOmD+Ndmyjqu+eSsG2h/sVZZdKi3AzERHWSlSpI1Q6Fa4qXA3oHh124C16BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T07:57:49.625648Z"},"content_sha256":"de7861f9837221222dbee2ab3ef316e052c7487ebc114f1b7e2e1303afae9de2","schema_version":"1.0","event_id":"sha256:de7861f9837221222dbee2ab3ef316e052c7487ebc114f1b7e2e1303afae9de2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VCIVX6SX6AWYBVGTH4V24LR3FJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Composing Modeling and Inference Operations with Probabilistic Program Combinators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","stat.CO","stat.ML"],"primary_cat":"cs.LG","authors_text":"Adam \\'Scibior, Eli Sennesh, Hao Wu, Jan-Willem van de Meent","submitted_at":"2018-11-14T18:53:28Z","abstract_excerpt":"Probabilistic programs with dynamic computation graphs can define measures over sample spaces with unbounded dimensionality, which constitute programmatic analogues to Bayesian nonparametrics. Owing to the generality of this model class, inference relies on `black-box' Monte Carlo methods that are often not able to take advantage of conditional independence and exchangeability, which have historically been the cornerstones of efficient inference. We here seek to develop a `middle ground' between probabilistic models with fully dynamic and fully static computation graphs. To this end, we introd"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05965","kind":"arxiv","version":3},"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-17T23:59:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jlChjCeDjm5HHHdbHyXDkCeoVeNR+OFsmpNNIoyeXPurhzaoteOZvuGDA9dZ3bXTEPg5Drr9HkNSBFlOdneKDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T07:57:49.626012Z"},"content_sha256":"1ca55eeae987f11fc8e95f710ca6963e541418545f0688f341877b52fd8e7b72","schema_version":"1.0","event_id":"sha256:1ca55eeae987f11fc8e95f710ca6963e541418545f0688f341877b52fd8e7b72"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ/bundle.json","state_url":"https://pith.science/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ/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-25T07:57:49Z","links":{"resolver":"https://pith.science/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ","bundle":"https://pith.science/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ/bundle.json","state":"https://pith.science/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VCIVX6SX6AWYBVGTH4V24LR3FJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VCIVX6SX6AWYBVGTH4V24LR3FJ","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":"d46ec7f672824e848344db651be0fc0d5dbd050df21889cc65f22d5c00110c66","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-11-14T18:53:28Z","title_canon_sha256":"fc2804b9677c3cab35b7db8c0366e0bdcfc2df8287a4c295e3baac3fbed78519"},"schema_version":"1.0","source":{"id":"1811.05965","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05965","created_at":"2026-05-17T23:59:37Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05965v3","created_at":"2026-05-17T23:59:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05965","created_at":"2026-05-17T23:59:37Z"},{"alias_kind":"pith_short_12","alias_value":"VCIVX6SX6AWY","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VCIVX6SX6AWYBVGT","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VCIVX6SX","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:1ca55eeae987f11fc8e95f710ca6963e541418545f0688f341877b52fd8e7b72","target":"graph","created_at":"2026-05-17T23:59:37Z","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":"Probabilistic programs with dynamic computation graphs can define measures over sample spaces with unbounded dimensionality, which constitute programmatic analogues to Bayesian nonparametrics. Owing to the generality of this model class, inference relies on `black-box' Monte Carlo methods that are often not able to take advantage of conditional independence and exchangeability, which have historically been the cornerstones of efficient inference. We here seek to develop a `middle ground' between probabilistic models with fully dynamic and fully static computation graphs. To this end, we introd","authors_text":"Adam \\'Scibior, Eli Sennesh, Hao Wu, Jan-Willem van de Meent","cross_cats":["cs.PL","stat.CO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-11-14T18:53:28Z","title":"Composing Modeling and Inference Operations with Probabilistic Program Combinators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05965","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:de7861f9837221222dbee2ab3ef316e052c7487ebc114f1b7e2e1303afae9de2","target":"record","created_at":"2026-05-17T23:59:37Z","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":"d46ec7f672824e848344db651be0fc0d5dbd050df21889cc65f22d5c00110c66","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-11-14T18:53:28Z","title_canon_sha256":"fc2804b9677c3cab35b7db8c0366e0bdcfc2df8287a4c295e3baac3fbed78519"},"schema_version":"1.0","source":{"id":"1811.05965","kind":"arxiv","version":3}},"canonical_sha256":"a8915bfa57f02d80d4d33f2bae2e3b2a49629c1b09fc248aa6af71d664c9ac3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8915bfa57f02d80d4d33f2bae2e3b2a49629c1b09fc248aa6af71d664c9ac3a","first_computed_at":"2026-05-17T23:59:37.955189Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:37.955189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+5WwEycpNGLjnhjasoCguyroy763SMiWRC3mQ5Rgix/SnnfnWZskpwUJkd9S+NATsBFXJx8Gjq4N2KpEpAf5Bw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:37.955972Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.05965","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de7861f9837221222dbee2ab3ef316e052c7487ebc114f1b7e2e1303afae9de2","sha256:1ca55eeae987f11fc8e95f710ca6963e541418545f0688f341877b52fd8e7b72"],"state_sha256":"52253ecce77c3339c80c5cb18d42a600c9c3a685f612adc51ad77b2f5fd7fd10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oJWr2j8/38OVdZTMO8dAW4+3EdY37PGj88LlOX8Si6qt765O+k9qZCivveXTlnNFs48JldaH5IhTI1gkHP8zCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T07:57:49.629016Z","bundle_sha256":"b40f9a72d90413ce74f9b4ce50aa3e08da5556b1dde720ffa940a6ebbd926001"}}