{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:O5WFD7BXKARQU77CSF6FJFCFFV","short_pith_number":"pith:O5WFD7BX","schema_version":"1.0","canonical_sha256":"776c51fc3750230a7fe2917c5494452d6b9f1cc66e281b4757118fee8d44ac2d","source":{"kind":"arxiv","id":"2302.00513","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2302.00513","created_at":"2026-07-05T05:40:53.227295+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.00513v2","created_at":"2026-07-05T05:40:53.227295+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.00513","created_at":"2026-07-05T05:40:53.227295+00:00"},{"alias_kind":"pith_short_12","alias_value":"O5WFD7BXKARQ","created_at":"2026-07-05T05:40:53.227295+00:00"},{"alias_kind":"pith_short_16","alias_value":"O5WFD7BXKARQU77C","created_at":"2026-07-05T05:40:53.227295+00:00"},{"alias_kind":"pith_short_8","alias_value":"O5WFD7BX","created_at":"2026-07-05T05:40:53.227295+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV","json":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV.json","graph_json":"https://pith.science/api/pith-number/O5WFD7BXKARQU77CSF6FJFCFFV/graph.json","events_json":"https://pith.science/api/pith-number/O5WFD7BXKARQU77CSF6FJFCFFV/events.json","paper":"https://pith.science/paper/O5WFD7BX"},"agent_actions":{"view_html":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV","download_json":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV.json","view_paper":"https://pith.science/paper/O5WFD7BX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.00513&json=true","fetch_graph":"https://pith.science/api/pith-number/O5WFD7BXKARQU77CSF6FJFCFFV/graph.json","fetch_events":"https://pith.science/api/pith-number/O5WFD7BXKARQU77CSF6FJFCFFV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/action/storage_attestation","attest_author":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/action/author_attestation","sign_citation":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/action/citation_signature","submit_replication":"https://pith.science/pith/O5WFD7BXKARQU77CSF6FJFCFFV/action/replication_record"}},"created_at":"2026-07-05T05:40:53.227295+00:00","updated_at":"2026-07-05T05:40:53.227295+00:00"}