{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ZD27QPSQCU4QWL7L7JC4WO7WK4","short_pith_number":"pith:ZD27QPSQ","canonical_record":{"source":{"id":"2205.01449","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-03T12:21:59Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"a4e15454474b66e47041918ed9ced6991627434d12436200d1b19efc05466642","abstract_canon_sha256":"b942f0bd19af3b457705149ff286928ff9f1941f044a215bbf5643fe4e075c1b"},"schema_version":"1.0"},"canonical_sha256":"c8f5f83e5015390b2febfa45cb3bf657331cdabdf0a92539b0fe8a0b4306697b","source":{"kind":"arxiv","id":"2205.01449","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01449","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01449v2","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01449","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"pith_short_12","alias_value":"ZD27QPSQCU4Q","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZD27QPSQCU4QWL7L","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZD27QPSQ","created_at":"2026-07-05T04:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ZD27QPSQCU4QWL7L7JC4WO7WK4","target":"record","payload":{"canonical_record":{"source":{"id":"2205.01449","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-03T12:21:59Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"a4e15454474b66e47041918ed9ced6991627434d12436200d1b19efc05466642","abstract_canon_sha256":"b942f0bd19af3b457705149ff286928ff9f1941f044a215bbf5643fe4e075c1b"},"schema_version":"1.0"},"canonical_sha256":"c8f5f83e5015390b2febfa45cb3bf657331cdabdf0a92539b0fe8a0b4306697b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:32:59.204218Z","signature_b64":"vs4wCcuOjicgRdAzgPrAC2Q5NxDnwuv57ziyB8jHS8rTEq6gpVQ17OIMh/Jt4P7E9Se8hj9GBjrBhWt/GzLKCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8f5f83e5015390b2febfa45cb3bf657331cdabdf0a92539b0fe8a0b4306697b","last_reissued_at":"2026-07-05T04:32:59.203720Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:32:59.203720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.01449","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-05T04:32:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PuReFRW68eiBEmGLe9ubOCiJKoKtRCycJFtYiCqMxXJjAukaQUXOgV5bM/hCIF0rv06+ecK+/P+DjBPrEnuhCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:11:14.959384Z"},"content_sha256":"9b62ec07454814e4cddb324002a32be02ecd73d740c28c7ec0d88a92fb297fce","schema_version":"1.0","event_id":"sha256:9b62ec07454814e4cddb324002a32be02ecd73d740c28c7ec0d88a92fb297fce"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ZD27QPSQCU4QWL7L7JC4WO7WK4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.LO","authors_text":"Joost-Pieter Katoen, Lutz Klinkenberg, Mingshuai Chen, Tobias Winkler","submitted_at":"2022-05-03T12:21:59Z","abstract_excerpt":"We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability result for the problem of determining whether such a program generates exactly a specified distribution over its outputs (provided the program terminates almost surely). The class of distributions that can be specified in our formalism consists of standard distributions (geometric, uniform, etc.) and finite convolutions thereof. Our method relies on representing these (possibly infinite-support) distributions as pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01449","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/2205.01449/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-05T04:32:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4nV5lIbxMDkiXMi8yuFPWVJVelMgQXYBcK0YLBvfgjeIcJgxGsVlNK8ZwrxZWF0x0ZkegN8vSodAtTtbybfODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:11:14.959881Z"},"content_sha256":"add37832c8350aff60a1423dca8da10df9e9846961f4938069771dd42723e8e6","schema_version":"1.0","event_id":"sha256:add37832c8350aff60a1423dca8da10df9e9846961f4938069771dd42723e8e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4/bundle.json","state_url":"https://pith.science/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4/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-04T22:11:14Z","links":{"resolver":"https://pith.science/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4","bundle":"https://pith.science/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4/bundle.json","state":"https://pith.science/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZD27QPSQCU4QWL7L7JC4WO7WK4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ZD27QPSQCU4QWL7L7JC4WO7WK4","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":"b942f0bd19af3b457705149ff286928ff9f1941f044a215bbf5643fe4e075c1b","cross_cats_sorted":["cs.SC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-03T12:21:59Z","title_canon_sha256":"a4e15454474b66e47041918ed9ced6991627434d12436200d1b19efc05466642"},"schema_version":"1.0","source":{"id":"2205.01449","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01449","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01449v2","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01449","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"pith_short_12","alias_value":"ZD27QPSQCU4Q","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZD27QPSQCU4QWL7L","created_at":"2026-07-05T04:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZD27QPSQ","created_at":"2026-07-05T04:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:add37832c8350aff60a1423dca8da10df9e9846961f4938069771dd42723e8e6","target":"graph","created_at":"2026-07-05T04:32:59Z","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/2205.01449/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability result for the problem of determining whether such a program generates exactly a specified distribution over its outputs (provided the program terminates almost surely). The class of distributions that can be specified in our formalism consists of standard distributions (geometric, uniform, etc.) and finite convolutions thereof. Our method relies on representing these (possibly infinite-support) distributions as pro","authors_text":"Joost-Pieter Katoen, Lutz Klinkenberg, Mingshuai Chen, Tobias Winkler","cross_cats":["cs.SC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-03T12:21:59Z","title":"Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01449","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:9b62ec07454814e4cddb324002a32be02ecd73d740c28c7ec0d88a92fb297fce","target":"record","created_at":"2026-07-05T04:32:59Z","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":"b942f0bd19af3b457705149ff286928ff9f1941f044a215bbf5643fe4e075c1b","cross_cats_sorted":["cs.SC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-03T12:21:59Z","title_canon_sha256":"a4e15454474b66e47041918ed9ced6991627434d12436200d1b19efc05466642"},"schema_version":"1.0","source":{"id":"2205.01449","kind":"arxiv","version":2}},"canonical_sha256":"c8f5f83e5015390b2febfa45cb3bf657331cdabdf0a92539b0fe8a0b4306697b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8f5f83e5015390b2febfa45cb3bf657331cdabdf0a92539b0fe8a0b4306697b","first_computed_at":"2026-07-05T04:32:59.203720Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:32:59.203720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vs4wCcuOjicgRdAzgPrAC2Q5NxDnwuv57ziyB8jHS8rTEq6gpVQ17OIMh/Jt4P7E9Se8hj9GBjrBhWt/GzLKCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:32:59.204218Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.01449","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b62ec07454814e4cddb324002a32be02ecd73d740c28c7ec0d88a92fb297fce","sha256:add37832c8350aff60a1423dca8da10df9e9846961f4938069771dd42723e8e6"],"state_sha256":"b1cc79987707fbfb647456192010d041f50826c380480973c935b11baa18d71c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AkP4ffk3Cjopuja16feZP/2BKy1y8nTztSnPM0KsVDxxyCr7NH+fZD0ZKFnqSUpf+4VLpoGZ91hcSuTs+NIjCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T22:11:14.963515Z","bundle_sha256":"9e297589b8605595e7a624a5d738d2bcd8b071be6c334533b940f01ced6c3ebc"}}