{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:CQISAPEYADX3XQG2WJHSRGCCKA","short_pith_number":"pith:CQISAPEY","schema_version":"1.0","canonical_sha256":"1411203c9800efbbc0dab24f289842501392ef92436a229fa6ae4b15a6c6b927","source":{"kind":"arxiv","id":"2408.14701","version":1},"attestation_state":"computed","paper":{"title":"A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexandra Silva, Fabio Zanasi, Mateo Torres-Ruiz, Robin Piedeleu","submitted_at":"2024-08-27T00:00:16Z","abstract_excerpt":"We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions and conditioning, to model distributions over finite sets of events. To do so, we translate these programs into a graphical syntax of probabilistic circuits, formalised as string diagrams, the two-dimensional syntax of symmetric monoidal categories. We then prove a first completeness result for the equational theory of the conditioning-free fragment of our syntax. Finally, we extend this result to a complete equatio"},"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":"2408.14701","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-08-27T00:00:16Z","cross_cats_sorted":[],"title_canon_sha256":"c5c53783efa042f9a134ec1dcfd37b085df92fa123e8f5500fb9b4c94e4c7e8f","abstract_canon_sha256":"641abac00e27765e7769959aaecc906d8136c6ae36952c7293aae736d0ab9239"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:59:37.790816Z","signature_b64":"bERVMw2zZrI2qWICKz8o5KoLdP6h8NhiXOGw+Qu0tyvEODfQuBBtOF+TwpuepU55CSknMrhW269Wg6pXyo8UCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1411203c9800efbbc0dab24f289842501392ef92436a229fa6ae4b15a6c6b927","last_reissued_at":"2026-07-05T08:59:37.790279Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:59:37.790279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexandra Silva, Fabio Zanasi, Mateo Torres-Ruiz, Robin Piedeleu","submitted_at":"2024-08-27T00:00:16Z","abstract_excerpt":"We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions and conditioning, to model distributions over finite sets of events. To do so, we translate these programs into a graphical syntax of probabilistic circuits, formalised as string diagrams, the two-dimensional syntax of symmetric monoidal categories. We then prove a first completeness result for the equational theory of the conditioning-free fragment of our syntax. Finally, we extend this result to a complete equatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.14701","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.14701/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":"2408.14701","created_at":"2026-07-05T08:59:37.790360+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.14701v1","created_at":"2026-07-05T08:59:37.790360+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.14701","created_at":"2026-07-05T08:59:37.790360+00:00"},{"alias_kind":"pith_short_12","alias_value":"CQISAPEYADX3","created_at":"2026-07-05T08:59:37.790360+00:00"},{"alias_kind":"pith_short_16","alias_value":"CQISAPEYADX3XQG2","created_at":"2026-07-05T08:59:37.790360+00:00"},{"alias_kind":"pith_short_8","alias_value":"CQISAPEY","created_at":"2026-07-05T08:59:37.790360+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.19017","citing_title":"Completeness for Probabilistic Boolean Tapes","ref_index":28,"is_internal_anchor":false},{"citing_arxiv_id":"2604.27268","citing_title":"A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes","ref_index":2,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA","json":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA.json","graph_json":"https://pith.science/api/pith-number/CQISAPEYADX3XQG2WJHSRGCCKA/graph.json","events_json":"https://pith.science/api/pith-number/CQISAPEYADX3XQG2WJHSRGCCKA/events.json","paper":"https://pith.science/paper/CQISAPEY"},"agent_actions":{"view_html":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA","download_json":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA.json","view_paper":"https://pith.science/paper/CQISAPEY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.14701&json=true","fetch_graph":"https://pith.science/api/pith-number/CQISAPEYADX3XQG2WJHSRGCCKA/graph.json","fetch_events":"https://pith.science/api/pith-number/CQISAPEYADX3XQG2WJHSRGCCKA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA/action/storage_attestation","attest_author":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA/action/author_attestation","sign_citation":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA/action/citation_signature","submit_replication":"https://pith.science/pith/CQISAPEYADX3XQG2WJHSRGCCKA/action/replication_record"}},"created_at":"2026-07-05T08:59:37.790360+00:00","updated_at":"2026-07-05T08:59:37.790360+00:00"}