{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VWP44UF4G4G2HBUJB6NWA6JEX7","short_pith_number":"pith:VWP44UF4","canonical_record":{"source":{"id":"1601.04943","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-19T14:53:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8337ddf1a328f376d6f643e10e5c64755192708d97d31e19d6208477b3b31194","abstract_canon_sha256":"6587d4b44deb0db59551a01b371096a384e366859fb4500c5ce1d36cfe604352"},"schema_version":"1.0"},"canonical_sha256":"ad9fce50bc370da386890f9b607924bffaa1df66cd86cbaaaeccb1520c222916","source":{"kind":"arxiv","id":"1601.04943","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.04943","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"arxiv_version","alias_value":"1601.04943v3","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.04943","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"pith_short_12","alias_value":"VWP44UF4G4G2","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VWP44UF4G4G2HBUJ","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VWP44UF4","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VWP44UF4G4G2HBUJB6NWA6JEX7","target":"record","payload":{"canonical_record":{"source":{"id":"1601.04943","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-19T14:53:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8337ddf1a328f376d6f643e10e5c64755192708d97d31e19d6208477b3b31194","abstract_canon_sha256":"6587d4b44deb0db59551a01b371096a384e366859fb4500c5ce1d36cfe604352"},"schema_version":"1.0"},"canonical_sha256":"ad9fce50bc370da386890f9b607924bffaa1df66cd86cbaaaeccb1520c222916","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:38.301355Z","signature_b64":"ZFecmuMPImr3A+ETd0wNEFW4DjezPeEU/CE2lVNDJa5+U0OIHTQYgBX8BhnGvCfSCNNeioJmwDnsN+FOu8x/BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad9fce50bc370da386890f9b607924bffaa1df66cd86cbaaaeccb1520c222916","last_reissued_at":"2026-05-18T00:47:38.300714Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:38.300714Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.04943","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-18T00:47:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7xoe6XkonWxD9xAugllc0ge2lVQZZo6x7dEYcZcmqEYNg3jvUegoqN8bNv9aZZE1s6BJlA2KbsNRwYkZ/7/XAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:00:44.352950Z"},"content_sha256":"4a757cab35665dd56cf91bc9330a97eefa9b596084befbe2165df1e7cc15d568","schema_version":"1.0","event_id":"sha256:4a757cab35665dd56cf91bc9330a97eefa9b596084befbe2165df1e7cc15d568"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VWP44UF4G4G2HBUJB6NWA6JEX7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Chris Heunen, Frank Wood, Hongseok Yang, Ohad Kammar, Sam Staton","submitted_at":"2016-01-19T14:53:54Z","abstract_excerpt":"We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an idealised version of Anglican) for probabilistic computation with the above features, develop both operational and denotational semantics, and prove soundness, adequacy, and termination. They involve measure theory, stochastic labelled transition systems, and functor categories, but admit intuitive computational readings, one of which views sampled random vari"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.04943","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-18T00:47:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NtPrfW7spI9ITmV84pc7uKW2v+5S/1N5C2S36+7u1WKYWYyzaw3ArvjJF8xQvIAUDTJ7jd0sd4g20soudF6SDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:00:44.353294Z"},"content_sha256":"d1a497eef0ea26fe74fc0000dc87781c2fb43a3298bfa9bd40fab3d4a42ea3f8","schema_version":"1.0","event_id":"sha256:d1a497eef0ea26fe74fc0000dc87781c2fb43a3298bfa9bd40fab3d4a42ea3f8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VWP44UF4G4G2HBUJB6NWA6JEX7/bundle.json","state_url":"https://pith.science/pith/VWP44UF4G4G2HBUJB6NWA6JEX7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VWP44UF4G4G2HBUJB6NWA6JEX7/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-28T02:00:44Z","links":{"resolver":"https://pith.science/pith/VWP44UF4G4G2HBUJB6NWA6JEX7","bundle":"https://pith.science/pith/VWP44UF4G4G2HBUJB6NWA6JEX7/bundle.json","state":"https://pith.science/pith/VWP44UF4G4G2HBUJB6NWA6JEX7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VWP44UF4G4G2HBUJB6NWA6JEX7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VWP44UF4G4G2HBUJB6NWA6JEX7","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":"6587d4b44deb0db59551a01b371096a384e366859fb4500c5ce1d36cfe604352","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-19T14:53:54Z","title_canon_sha256":"8337ddf1a328f376d6f643e10e5c64755192708d97d31e19d6208477b3b31194"},"schema_version":"1.0","source":{"id":"1601.04943","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.04943","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"arxiv_version","alias_value":"1601.04943v3","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.04943","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"pith_short_12","alias_value":"VWP44UF4G4G2","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VWP44UF4G4G2HBUJ","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VWP44UF4","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:d1a497eef0ea26fe74fc0000dc87781c2fb43a3298bfa9bd40fab3d4a42ea3f8","target":"graph","created_at":"2026-05-18T00:47:38Z","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 study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an idealised version of Anglican) for probabilistic computation with the above features, develop both operational and denotational semantics, and prove soundness, adequacy, and termination. They involve measure theory, stochastic labelled transition systems, and functor categories, but admit intuitive computational readings, one of which views sampled random vari","authors_text":"Chris Heunen, Frank Wood, Hongseok Yang, Ohad Kammar, Sam Staton","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-19T14:53:54Z","title":"Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.04943","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:4a757cab35665dd56cf91bc9330a97eefa9b596084befbe2165df1e7cc15d568","target":"record","created_at":"2026-05-18T00:47:38Z","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":"6587d4b44deb0db59551a01b371096a384e366859fb4500c5ce1d36cfe604352","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-01-19T14:53:54Z","title_canon_sha256":"8337ddf1a328f376d6f643e10e5c64755192708d97d31e19d6208477b3b31194"},"schema_version":"1.0","source":{"id":"1601.04943","kind":"arxiv","version":3}},"canonical_sha256":"ad9fce50bc370da386890f9b607924bffaa1df66cd86cbaaaeccb1520c222916","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad9fce50bc370da386890f9b607924bffaa1df66cd86cbaaaeccb1520c222916","first_computed_at":"2026-05-18T00:47:38.300714Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:38.300714Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZFecmuMPImr3A+ETd0wNEFW4DjezPeEU/CE2lVNDJa5+U0OIHTQYgBX8BhnGvCfSCNNeioJmwDnsN+FOu8x/BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:38.301355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.04943","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a757cab35665dd56cf91bc9330a97eefa9b596084befbe2165df1e7cc15d568","sha256:d1a497eef0ea26fe74fc0000dc87781c2fb43a3298bfa9bd40fab3d4a42ea3f8"],"state_sha256":"cc7ba511ff092504d690bfcbe36c691d4c6c08e294d309f5769ee60884e448b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m2RgkEc1OKoDgFnQxECfKgO70yYzOFYgIDY/yu5foi/2IF28iN9lO670FmizsC7JvnDAEqu6g0vF33rDmd9RAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T02:00:44.355261Z","bundle_sha256":"afcff00f0dc41631e57a288284a1a9b9e496dd29b4c36c7aa67618657fe8e9b4"}}