{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZQTZ6VRXIXGERJFENN7TPBASOF","short_pith_number":"pith:ZQTZ6VRX","canonical_record":{"source":{"id":"2404.03430","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-04-04T13:22:29Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"762c9041c3f1194b26276d734dab8a92d5adc7d0b463630ae987b0e3ab76e6c2","abstract_canon_sha256":"63a04940b03f66e08765fb3be6748042566486c560542ae4ee6d9098458d18e5"},"schema_version":"1.0"},"canonical_sha256":"cc279f563745cc48a4a46b7f3784127141fd9743e06d7d85dcb6d261c9f3ee1f","source":{"kind":"arxiv","id":"2404.03430","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.03430","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2404.03430v1","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.03430","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"ZQTZ6VRXIXGE","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"ZQTZ6VRXIXGERJFE","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"ZQTZ6VRX","created_at":"2026-07-05T08:04:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZQTZ6VRXIXGERJFENN7TPBASOF","target":"record","payload":{"canonical_record":{"source":{"id":"2404.03430","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-04-04T13:22:29Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"762c9041c3f1194b26276d734dab8a92d5adc7d0b463630ae987b0e3ab76e6c2","abstract_canon_sha256":"63a04940b03f66e08765fb3be6748042566486c560542ae4ee6d9098458d18e5"},"schema_version":"1.0"},"canonical_sha256":"cc279f563745cc48a4a46b7f3784127141fd9743e06d7d85dcb6d261c9f3ee1f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:04:25.664254Z","signature_b64":"v/WFA8a7O70SlycRKyA4ROIfxEyHqwV8hYD1X2SKbtenasfpmsSt/Rx21ePpWn4wXYZpTVvZV6sUAT8xPrDyAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cc279f563745cc48a4a46b7f3784127141fd9743e06d7d85dcb6d261c9f3ee1f","last_reissued_at":"2026-07-05T08:04:25.663792Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:04:25.663792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.03430","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-07-05T08:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1dFU8nIBfxKkCR2+5ZpNbbrW6uhCnMnrl+IxHVtx5rr+Q0GQmmuECYUaFoTTB9voJTxbreoFToXeztBoBWa+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:52:58.327793Z"},"content_sha256":"c9410253990ff55a9e85f480502c8ca2da656c9b95e3be49c0f3f02f1ac1368f","schema_version":"1.0","event_id":"sha256:c9410253990ff55a9e85f480502c8ca2da656c9b95e3be49c0f3f02f1ac1368f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZQTZ6VRXIXGERJFENN7TPBASOF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equivalence and Similarity Refutation for Probabilistic Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Ehsan Kafshdar Goharshady, Krishnendu Chatterjee, Petr Novotn\\'y","submitted_at":"2024-04-04T13:22:29Z","abstract_excerpt":"We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity refutation. Our method refutes equivalence and similarity by computing a function over program outputs whose expected value with respect to the output distributions of two programs is different. The fu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.03430","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/2404.03430/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-05T08:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WWRxDYr2V6WX57Jp6LIocpgALkWfdafSeErqYwPSduvEqXz0t4XFcmSHYwmfr3JwM7TCjf8oXOO8X6GaJGsLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T16:52:58.328308Z"},"content_sha256":"ed5b33375ec0199550620a15a9678ca515ea6d8028b14d1b73b90251be3716f2","schema_version":"1.0","event_id":"sha256:ed5b33375ec0199550620a15a9678ca515ea6d8028b14d1b73b90251be3716f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZQTZ6VRXIXGERJFENN7TPBASOF/bundle.json","state_url":"https://pith.science/pith/ZQTZ6VRXIXGERJFENN7TPBASOF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZQTZ6VRXIXGERJFENN7TPBASOF/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-06T16:52:58Z","links":{"resolver":"https://pith.science/pith/ZQTZ6VRXIXGERJFENN7TPBASOF","bundle":"https://pith.science/pith/ZQTZ6VRXIXGERJFENN7TPBASOF/bundle.json","state":"https://pith.science/pith/ZQTZ6VRXIXGERJFENN7TPBASOF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZQTZ6VRXIXGERJFENN7TPBASOF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZQTZ6VRXIXGERJFENN7TPBASOF","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":"63a04940b03f66e08765fb3be6748042566486c560542ae4ee6d9098458d18e5","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-04-04T13:22:29Z","title_canon_sha256":"762c9041c3f1194b26276d734dab8a92d5adc7d0b463630ae987b0e3ab76e6c2"},"schema_version":"1.0","source":{"id":"2404.03430","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.03430","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2404.03430v1","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.03430","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"ZQTZ6VRXIXGE","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"ZQTZ6VRXIXGERJFE","created_at":"2026-07-05T08:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"ZQTZ6VRX","created_at":"2026-07-05T08:04:25Z"}],"graph_snapshots":[{"event_id":"sha256:ed5b33375ec0199550620a15a9678ca515ea6d8028b14d1b73b90251be3716f2","target":"graph","created_at":"2026-07-05T08:04:25Z","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/2404.03430/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity refutation. Our method refutes equivalence and similarity by computing a function over program outputs whose expected value with respect to the output distributions of two programs is different. The fu","authors_text":"{\\DJ}or{\\dj}e \\v{Z}ikeli\\'c, Ehsan Kafshdar Goharshady, Krishnendu Chatterjee, Petr Novotn\\'y","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-04-04T13:22:29Z","title":"Equivalence and Similarity Refutation for Probabilistic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.03430","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:c9410253990ff55a9e85f480502c8ca2da656c9b95e3be49c0f3f02f1ac1368f","target":"record","created_at":"2026-07-05T08:04:25Z","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":"63a04940b03f66e08765fb3be6748042566486c560542ae4ee6d9098458d18e5","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-04-04T13:22:29Z","title_canon_sha256":"762c9041c3f1194b26276d734dab8a92d5adc7d0b463630ae987b0e3ab76e6c2"},"schema_version":"1.0","source":{"id":"2404.03430","kind":"arxiv","version":1}},"canonical_sha256":"cc279f563745cc48a4a46b7f3784127141fd9743e06d7d85dcb6d261c9f3ee1f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cc279f563745cc48a4a46b7f3784127141fd9743e06d7d85dcb6d261c9f3ee1f","first_computed_at":"2026-07-05T08:04:25.663792Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:04:25.663792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v/WFA8a7O70SlycRKyA4ROIfxEyHqwV8hYD1X2SKbtenasfpmsSt/Rx21ePpWn4wXYZpTVvZV6sUAT8xPrDyAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:04:25.664254Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.03430","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9410253990ff55a9e85f480502c8ca2da656c9b95e3be49c0f3f02f1ac1368f","sha256:ed5b33375ec0199550620a15a9678ca515ea6d8028b14d1b73b90251be3716f2"],"state_sha256":"91eed93bb2f7ea54eed3ce6ce1714918f94a54b24f75c30a77b5b1e4f05853c3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9ciVsU5+HKWNGaRIir8uMHCGB/pMQlnwMk5kjx5i+H9vrKFE932lBpAdJOoF8JbYpS5jeXfgM2Uojg8pQyRmDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T16:52:58.332521Z","bundle_sha256":"1b2a13b79a6d39c3b9ccc9f01b929d2efdf979407aa3048808465384293f5bc9"}}