{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:O5WFD7BXKARQU77CSF6FJFCFFV","short_pith_number":"pith:O5WFD7BX","canonical_record":{"source":{"id":"2302.00513","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-02-01T15:34:13Z","cross_cats_sorted":["cs.DM","cs.LO"],"title_canon_sha256":"df372d0edbe30778f75dfb53530cba736a9b536299e0f26cb7856975533a1029","abstract_canon_sha256":"ac41a18c7ced5281973f180f5d1de16088f8e09c65d573f687344d9027a1d10d"},"schema_version":"1.0"},"canonical_sha256":"776c51fc3750230a7fe2917c5494452d6b9f1cc66e281b4757118fee8d44ac2d","source":{"kind":"arxiv","id":"2302.00513","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.00513","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"arxiv_version","alias_value":"2302.00513v2","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.00513","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"pith_short_12","alias_value":"O5WFD7BXKARQ","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"pith_short_16","alias_value":"O5WFD7BXKARQU77C","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"pith_short_8","alias_value":"O5WFD7BX","created_at":"2026-07-05T05:40:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:O5WFD7BXKARQU77CSF6FJFCFFV","target":"record","payload":{"canonical_record":{"source":{"id":"2302.00513","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-02-01T15:34:13Z","cross_cats_sorted":["cs.DM","cs.LO"],"title_canon_sha256":"df372d0edbe30778f75dfb53530cba736a9b536299e0f26cb7856975533a1029","abstract_canon_sha256":"ac41a18c7ced5281973f180f5d1de16088f8e09c65d573f687344d9027a1d10d"},"schema_version":"1.0"},"canonical_sha256":"776c51fc3750230a7fe2917c5494452d6b9f1cc66e281b4757118fee8d44ac2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:40:53.227691Z","signature_b64":"PYhUzXfrNLE9VZHbBcm+IzDCIlpox8+m/vtz34BmqP8Pip4LM9fhnF6wW5k4poaFKIAOM16+jlWDaEhhgPChCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"776c51fc3750230a7fe2917c5494452d6b9f1cc66e281b4757118fee8d44ac2d","last_reissued_at":"2026-07-05T05:40:53.227239Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:40:53.227239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.00513","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-07-05T05:40:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qezARd7PQwvkvoGo6WOLpXRTAG8wNoaM6uQvN9ltl5QHKreCstDf+tBxK6SeJxRQgwoMQi153jB7UUbjFQWPCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T14:45:43.515640Z"},"content_sha256":"acb5d1ccd0e40a7a38cfa5c514a02085ad4f8b57f268813ca66a53aba0761285","schema_version":"1.0","event_id":"sha256:acb5d1ccd0e40a7a38cfa5c514a02085ad4f8b57f268813ca66a53aba0761285"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:O5WFD7BXKARQU77CSF6FJFCFFV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact Probabilistic Inference Using Generating Functions","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.DM","cs.LO"],"primary_cat":"cs.PL","authors_text":"Joost-Pieter Katoen, Lutz Klinkenberg, Mingshuai Chen, Tobias Winkler","submitted_at":"2023-02-01T15:34:13Z","abstract_excerpt":"Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at the heart of modern machine learning and approximate computing. We explore the theory of generating functions [19] and investigate its usage in the exact quantitative reasoning of probabilistic programs. Important topics include the exact representation of program semantics [13], proving exact program equivalence [5], and -- as our main focus in this extended abstract -- exact probabilistic inference. In probabilisti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.00513","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2302.00513/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T05:40:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TK3uR8bAVTYuJfUKwXmo1r7EGQBTzjQRszQ2zxRqpODey5khL+NWmSgItjqVxc//FZW4gC7DdBoDRRYWhSdRDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T14:45:43.516711Z"},"content_sha256":"ff1011dcc01e230c15f4c93767937c3268629d58f6650b20df6350e79e9662ad","schema_version":"1.0","event_id":"sha256:ff1011dcc01e230c15f4c93767937c3268629d58f6650b20df6350e79e9662ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/bundle.json","state_url":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O5WFD7BXKARQU77CSF6FJFCFFV/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-08-04T14:45:43Z","links":{"resolver":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV","bundle":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/bundle.json","state":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O5WFD7BXKARQU77CSF6FJFCFFV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:O5WFD7BXKARQU77CSF6FJFCFFV","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":"ac41a18c7ced5281973f180f5d1de16088f8e09c65d573f687344d9027a1d10d","cross_cats_sorted":["cs.DM","cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-02-01T15:34:13Z","title_canon_sha256":"df372d0edbe30778f75dfb53530cba736a9b536299e0f26cb7856975533a1029"},"schema_version":"1.0","source":{"id":"2302.00513","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.00513","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"arxiv_version","alias_value":"2302.00513v2","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.00513","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"pith_short_12","alias_value":"O5WFD7BXKARQ","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"pith_short_16","alias_value":"O5WFD7BXKARQU77C","created_at":"2026-07-05T05:40:53Z"},{"alias_kind":"pith_short_8","alias_value":"O5WFD7BX","created_at":"2026-07-05T05:40:53Z"}],"graph_snapshots":[{"event_id":"sha256:ff1011dcc01e230c15f4c93767937c3268629d58f6650b20df6350e79e9662ad","target":"graph","created_at":"2026-07-05T05:40:53Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2302.00513/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at the heart of modern machine learning and approximate computing. We explore the theory of generating functions [19] and investigate its usage in the exact quantitative reasoning of probabilistic programs. Important topics include the exact representation of program semantics [13], proving exact program equivalence [5], and -- as our main focus in this extended abstract -- exact probabilistic inference. In probabilisti","authors_text":"Joost-Pieter Katoen, Lutz Klinkenberg, Mingshuai Chen, Tobias Winkler","cross_cats":["cs.DM","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-02-01T15:34:13Z","title":"Exact Probabilistic Inference Using Generating Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.00513","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:acb5d1ccd0e40a7a38cfa5c514a02085ad4f8b57f268813ca66a53aba0761285","target":"record","created_at":"2026-07-05T05:40:53Z","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":"ac41a18c7ced5281973f180f5d1de16088f8e09c65d573f687344d9027a1d10d","cross_cats_sorted":["cs.DM","cs.LO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-02-01T15:34:13Z","title_canon_sha256":"df372d0edbe30778f75dfb53530cba736a9b536299e0f26cb7856975533a1029"},"schema_version":"1.0","source":{"id":"2302.00513","kind":"arxiv","version":2}},"canonical_sha256":"776c51fc3750230a7fe2917c5494452d6b9f1cc66e281b4757118fee8d44ac2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"776c51fc3750230a7fe2917c5494452d6b9f1cc66e281b4757118fee8d44ac2d","first_computed_at":"2026-07-05T05:40:53.227239Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:40:53.227239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PYhUzXfrNLE9VZHbBcm+IzDCIlpox8+m/vtz34BmqP8Pip4LM9fhnF6wW5k4poaFKIAOM16+jlWDaEhhgPChCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:40:53.227691Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.00513","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acb5d1ccd0e40a7a38cfa5c514a02085ad4f8b57f268813ca66a53aba0761285","sha256:ff1011dcc01e230c15f4c93767937c3268629d58f6650b20df6350e79e9662ad"],"state_sha256":"8899a2e8dfe918ac6e496839b744441e1fd79a3af765741a57f1ab66faaac412"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z3FB5vAhg/iwGopxpN2A2Zt2ISoXwUujrNKoJDOltWtxvr3+b0VCQtiHgaHPEJ/Y1IThSD8xFFeAceGdsTtjAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T14:45:43.522167Z","bundle_sha256":"ae3880a6c835de80460ea74e0aaa61b0b502dfb01db8ea40705da3ed35ddd647"}}