{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:SWI4SRY65IAK6A6V2LD3OHADHL","short_pith_number":"pith:SWI4SRY6","canonical_record":{"source":{"id":"1711.03219","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T00:32:01Z","cross_cats_sorted":[],"title_canon_sha256":"575b465c56021ad7b9324382c0bfaa8bcc7422c55a8abd0cff1389ab65d4b659","abstract_canon_sha256":"3fa83b824081a69a4a5769011fa736d94c1e0faa4ffb98c71165b89fd5e6dc92"},"schema_version":"1.0"},"canonical_sha256":"9591c9471eea00af03d5d2c7b71c033ac9dfbce03505e2b55a5a73bb8a544d87","source":{"kind":"arxiv","id":"1711.03219","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03219","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03219v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03219","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"SWI4SRY65IAK","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SWI4SRY65IAK6A6V","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SWI4SRY6","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:SWI4SRY65IAK6A6V2LD3OHADHL","target":"record","payload":{"canonical_record":{"source":{"id":"1711.03219","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T00:32:01Z","cross_cats_sorted":[],"title_canon_sha256":"575b465c56021ad7b9324382c0bfaa8bcc7422c55a8abd0cff1389ab65d4b659","abstract_canon_sha256":"3fa83b824081a69a4a5769011fa736d94c1e0faa4ffb98c71165b89fd5e6dc92"},"schema_version":"1.0"},"canonical_sha256":"9591c9471eea00af03d5d2c7b71c033ac9dfbce03505e2b55a5a73bb8a544d87","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:56.888407Z","signature_b64":"MWSTXQfNSu9onjIKtIyP1kXUBXUPKl29U9Qrwgf/p08cxV7qSBkSM+qIV5DsgL+CdJyXYc+z4MrQXfKHU7PNBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9591c9471eea00af03d5d2c7b71c033ac9dfbce03505e2b55a5a73bb8a544d87","last_reissued_at":"2026-05-18T00:30:56.887751Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:56.887751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.03219","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-18T00:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RXyeCDM+BcjoqjGzAmQSp2g1Op7ARKxJGWezViiqCtmIcSvIxuhYFmghV+/+R+dnwniVOrcsOvUsMWsaOOuyAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T12:56:21.746481Z"},"content_sha256":"66b58304612579482f61fdc677b164300c9a12890c2a29fc3b968ccbb45c81e2","schema_version":"1.0","event_id":"sha256:66b58304612579482f61fdc677b164300c9a12890c2a29fc3b968ccbb45c81e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:SWI4SRY65IAK6A6V2LD3OHADHL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Denotational validation of higher-order Bayesian inference","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Adam \\'Scibior, Chris Heunen, Hongseok Yang, Klaus Ostermann, Matthijs V\\'ak\\'ar, Ohad Kammar, Sam Staton, Sean K. Moss, Yufei Cai, Zoubin Ghahramani","submitted_at":"2017-11-09T00:32:01Z","abstract_excerpt":"We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of smaller parts. However, neither their theoretical justification nor their implementation reflects this modularity. We show how to conceptualise and analyse such inference algorithms as manipulating intermediate representations of probabilistic programs using higher-order functions and inductive types, and their denotational semantics. Semantic accounts of co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03219","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-18T00:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y0m9VJCmmnYMKrX0nKEuu1SMaYtkaj/4CHA0vXiu6pHF/znu8ZqzvgScI4hUn4Gniqhx4PPmN54RGapCZurnBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T12:56:21.746839Z"},"content_sha256":"b2fb47678fc44f51b7d773f6c8326b7501c41e1898b50f1367092df581b897b1","schema_version":"1.0","event_id":"sha256:b2fb47678fc44f51b7d773f6c8326b7501c41e1898b50f1367092df581b897b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SWI4SRY65IAK6A6V2LD3OHADHL/bundle.json","state_url":"https://pith.science/pith/SWI4SRY65IAK6A6V2LD3OHADHL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SWI4SRY65IAK6A6V2LD3OHADHL/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-21T12:56:21Z","links":{"resolver":"https://pith.science/pith/SWI4SRY65IAK6A6V2LD3OHADHL","bundle":"https://pith.science/pith/SWI4SRY65IAK6A6V2LD3OHADHL/bundle.json","state":"https://pith.science/pith/SWI4SRY65IAK6A6V2LD3OHADHL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SWI4SRY65IAK6A6V2LD3OHADHL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SWI4SRY65IAK6A6V2LD3OHADHL","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":"3fa83b824081a69a4a5769011fa736d94c1e0faa4ffb98c71165b89fd5e6dc92","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T00:32:01Z","title_canon_sha256":"575b465c56021ad7b9324382c0bfaa8bcc7422c55a8abd0cff1389ab65d4b659"},"schema_version":"1.0","source":{"id":"1711.03219","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03219","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03219v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03219","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"SWI4SRY65IAK","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SWI4SRY65IAK6A6V","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SWI4SRY6","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:b2fb47678fc44f51b7d773f6c8326b7501c41e1898b50f1367092df581b897b1","target":"graph","created_at":"2026-05-18T00:30:56Z","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 present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of smaller parts. However, neither their theoretical justification nor their implementation reflects this modularity. We show how to conceptualise and analyse such inference algorithms as manipulating intermediate representations of probabilistic programs using higher-order functions and inductive types, and their denotational semantics. Semantic accounts of co","authors_text":"Adam \\'Scibior, Chris Heunen, Hongseok Yang, Klaus Ostermann, Matthijs V\\'ak\\'ar, Ohad Kammar, Sam Staton, Sean K. Moss, Yufei Cai, Zoubin Ghahramani","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T00:32:01Z","title":"Denotational validation of higher-order Bayesian inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03219","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:66b58304612579482f61fdc677b164300c9a12890c2a29fc3b968ccbb45c81e2","target":"record","created_at":"2026-05-18T00:30:56Z","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":"3fa83b824081a69a4a5769011fa736d94c1e0faa4ffb98c71165b89fd5e6dc92","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-11-09T00:32:01Z","title_canon_sha256":"575b465c56021ad7b9324382c0bfaa8bcc7422c55a8abd0cff1389ab65d4b659"},"schema_version":"1.0","source":{"id":"1711.03219","kind":"arxiv","version":1}},"canonical_sha256":"9591c9471eea00af03d5d2c7b71c033ac9dfbce03505e2b55a5a73bb8a544d87","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9591c9471eea00af03d5d2c7b71c033ac9dfbce03505e2b55a5a73bb8a544d87","first_computed_at":"2026-05-18T00:30:56.887751Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:56.887751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MWSTXQfNSu9onjIKtIyP1kXUBXUPKl29U9Qrwgf/p08cxV7qSBkSM+qIV5DsgL+CdJyXYc+z4MrQXfKHU7PNBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:56.888407Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.03219","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66b58304612579482f61fdc677b164300c9a12890c2a29fc3b968ccbb45c81e2","sha256:b2fb47678fc44f51b7d773f6c8326b7501c41e1898b50f1367092df581b897b1"],"state_sha256":"53f5f26ab38800ddafdef90dbb5095ddc87d0a6bc3cbd1a33c0ab46183a666ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yALbrW+og025iBTikDZcGWQlYpvzRkY6k765IV0rGpGdq9ZcjmDOffMYygi527KR7tKH7DH6dxeA07A5MqF+Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T12:56:21.749500Z","bundle_sha256":"277e065aee1e90c49958960a868c314f98d998cdc5716911a1f84724cb69cb97"}}