{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SJKBEAAE22OVMUYRF2ZNS2SZQP","short_pith_number":"pith:SJKBEAAE","canonical_record":{"source":{"id":"1404.0099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-01T01:44:05Z","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"title_canon_sha256":"1f0db3ce3612c8738e06605ec6b6976c6a0a3d4ada269e9e980f93a53f562c42","abstract_canon_sha256":"fcf34a964957d0a9aa70b7892e4ed5586b2e1dc09e5b0fb1e70655d71981ff16"},"schema_version":"1.0"},"canonical_sha256":"9254120004d69d5653112eb2d96a5983e41fcb7c1b639e4db4083754bfe8135c","source":{"kind":"arxiv","id":"1404.0099","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0099","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0099v1","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0099","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"pith_short_12","alias_value":"SJKBEAAE22OV","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SJKBEAAE22OVMUYR","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SJKBEAAE","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SJKBEAAE22OVMUYRF2ZNS2SZQP","target":"record","payload":{"canonical_record":{"source":{"id":"1404.0099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-01T01:44:05Z","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"title_canon_sha256":"1f0db3ce3612c8738e06605ec6b6976c6a0a3d4ada269e9e980f93a53f562c42","abstract_canon_sha256":"fcf34a964957d0a9aa70b7892e4ed5586b2e1dc09e5b0fb1e70655d71981ff16"},"schema_version":"1.0"},"canonical_sha256":"9254120004d69d5653112eb2d96a5983e41fcb7c1b639e4db4083754bfe8135c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:05.148555Z","signature_b64":"KFXV9a6GZA/131XI2V0/lOiA393KmVYY5sAaLf09j98Rq7jBKoPVc918Ckl5meOD0QzKO5NKlZE5+akmXoiHDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9254120004d69d5653112eb2d96a5983e41fcb7c1b639e4db4083754bfe8135c","last_reissued_at":"2026-05-18T02:55:05.148077Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:05.148077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.0099","source_version":1,"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-18T02:55:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IhkKH5CKfRsMdKKK3FOZcN1l8oCw61AesBn7tjBE4LfAesD9QmY0bscemT6nAMecVXfVkG4yQ9TKv7/STrsVAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T06:00:46.552788Z"},"content_sha256":"611851a461a657ac3c822760609d4646c140b5fde8db50914520fe59c6265a78","schema_version":"1.0","event_id":"sha256:611851a461a657ac3c822760609d4646c140b5fde8db50914520fe59c6265a78"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SJKBEAAE22OVMUYRF2ZNS2SZQP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Venture: a higher-order probabilistic programming platform with programmable inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","stat.CO","stat.ML"],"primary_cat":"cs.AI","authors_text":"Daniel Selsam, Vikash Mansinghka, Yura Perov","submitted_at":"2014-04-01T01:44:05Z","abstract_excerpt":"We describe Venture, an interactive virtual machine for probabilistic programming that aims to be sufficiently expressive, extensible, and efficient for general-purpose use. Like Church, probabilistic models and inference problems in Venture are specified via a Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture also provides a compositional language for custom inference strategies built out of scalable exact and approximate techniques. We also describe four key aspects of Venture's implementation that build on ideas from probabilistic graphical mod"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0099","kind":"arxiv","version":1},"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-18T02:55:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ONL6IxYx9zfCZ2e5sPaqRak22lmEVReW9ORoFIoCI+QWic4A3+afAt8HfblV67Owgv7gcZIIiq0uiJRj4ySgCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T06:00:46.553474Z"},"content_sha256":"7e0795fa98d99b17b4b2f140f8718ae03d8811eb5dde4a380f9d8e83fd3bc090","schema_version":"1.0","event_id":"sha256:7e0795fa98d99b17b4b2f140f8718ae03d8811eb5dde4a380f9d8e83fd3bc090"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP/bundle.json","state_url":"https://pith.science/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP/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-26T06:00:46Z","links":{"resolver":"https://pith.science/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP","bundle":"https://pith.science/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP/bundle.json","state":"https://pith.science/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SJKBEAAE22OVMUYRF2ZNS2SZQP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SJKBEAAE22OVMUYRF2ZNS2SZQP","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":"fcf34a964957d0a9aa70b7892e4ed5586b2e1dc09e5b0fb1e70655d71981ff16","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-01T01:44:05Z","title_canon_sha256":"1f0db3ce3612c8738e06605ec6b6976c6a0a3d4ada269e9e980f93a53f562c42"},"schema_version":"1.0","source":{"id":"1404.0099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0099","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0099v1","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0099","created_at":"2026-05-18T02:55:05Z"},{"alias_kind":"pith_short_12","alias_value":"SJKBEAAE22OV","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SJKBEAAE22OVMUYR","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SJKBEAAE","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:7e0795fa98d99b17b4b2f140f8718ae03d8811eb5dde4a380f9d8e83fd3bc090","target":"graph","created_at":"2026-05-18T02:55:05Z","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 describe Venture, an interactive virtual machine for probabilistic programming that aims to be sufficiently expressive, extensible, and efficient for general-purpose use. Like Church, probabilistic models and inference problems in Venture are specified via a Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture also provides a compositional language for custom inference strategies built out of scalable exact and approximate techniques. We also describe four key aspects of Venture's implementation that build on ideas from probabilistic graphical mod","authors_text":"Daniel Selsam, Vikash Mansinghka, Yura Perov","cross_cats":["cs.PL","stat.CO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-01T01:44:05Z","title":"Venture: a higher-order probabilistic programming platform with programmable inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0099","kind":"arxiv","version":1},"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:611851a461a657ac3c822760609d4646c140b5fde8db50914520fe59c6265a78","target":"record","created_at":"2026-05-18T02:55:05Z","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":"fcf34a964957d0a9aa70b7892e4ed5586b2e1dc09e5b0fb1e70655d71981ff16","cross_cats_sorted":["cs.PL","stat.CO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-01T01:44:05Z","title_canon_sha256":"1f0db3ce3612c8738e06605ec6b6976c6a0a3d4ada269e9e980f93a53f562c42"},"schema_version":"1.0","source":{"id":"1404.0099","kind":"arxiv","version":1}},"canonical_sha256":"9254120004d69d5653112eb2d96a5983e41fcb7c1b639e4db4083754bfe8135c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9254120004d69d5653112eb2d96a5983e41fcb7c1b639e4db4083754bfe8135c","first_computed_at":"2026-05-18T02:55:05.148077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:05.148077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KFXV9a6GZA/131XI2V0/lOiA393KmVYY5sAaLf09j98Rq7jBKoPVc918Ckl5meOD0QzKO5NKlZE5+akmXoiHDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:05.148555Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:611851a461a657ac3c822760609d4646c140b5fde8db50914520fe59c6265a78","sha256:7e0795fa98d99b17b4b2f140f8718ae03d8811eb5dde4a380f9d8e83fd3bc090"],"state_sha256":"f094135a8ee64a697829bb969a2b0e1af284490538569ff000b33b8ac5af4b2f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FjUWAVM5t0cmDUB03UBQjw8n3MWsl1bq0P3y8Pyik2IRYmTwU3X1rqPW30va/vKaGt+hfg1ZDaJgncRVd654BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T06:00:46.557138Z","bundle_sha256":"95d45cf1fc397ce7997108f4dc1c92d1622df7430c1f3cdc80d5f04aa6cc9fb7"}}