{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:O5CBKQH7TDADCYKT2DF7CUZM7I","short_pith_number":"pith:O5CBKQH7","canonical_record":{"source":{"id":"1805.01863","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-04T17:13:15Z","cross_cats_sorted":[],"title_canon_sha256":"e05a49c1674e480c14ecc40cb3f052a1cfcd0d22a776ac5c1ef87c7527071649","abstract_canon_sha256":"3e4e8e28895e76a85b9a4be0dcbce1aff1d76ec5acafd79d162466a045713a24"},"schema_version":"1.0"},"canonical_sha256":"77441540ff98c0316153d0cbf1532cfa310aee77b9c0155e5983ef399fef6acb","source":{"kind":"arxiv","id":"1805.01863","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.01863","created_at":"2026-05-18T00:16:46Z"},{"alias_kind":"arxiv_version","alias_value":"1805.01863v1","created_at":"2026-05-18T00:16:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.01863","created_at":"2026-05-18T00:16:46Z"},{"alias_kind":"pith_short_12","alias_value":"O5CBKQH7TDAD","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"O5CBKQH7TDADCYKT","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"O5CBKQH7","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:O5CBKQH7TDADCYKT2DF7CUZM7I","target":"record","payload":{"canonical_record":{"source":{"id":"1805.01863","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-04T17:13:15Z","cross_cats_sorted":[],"title_canon_sha256":"e05a49c1674e480c14ecc40cb3f052a1cfcd0d22a776ac5c1ef87c7527071649","abstract_canon_sha256":"3e4e8e28895e76a85b9a4be0dcbce1aff1d76ec5acafd79d162466a045713a24"},"schema_version":"1.0"},"canonical_sha256":"77441540ff98c0316153d0cbf1532cfa310aee77b9c0155e5983ef399fef6acb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:46.431109Z","signature_b64":"elfZg6r0bEO7CNTGZT9oC1g5b17j+EwBifGb5OOwyjerv9Uc59SvTtAQS4kTyQGygst41KPqjgxx6ltteG/dCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77441540ff98c0316153d0cbf1532cfa310aee77b9c0155e5983ef399fef6acb","last_reissued_at":"2026-05-18T00:16:46.430493Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:46.430493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.01863","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-05-18T00:16:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AquFAtIV+RXEJ45NN3caZ69RbL9xujLH30khBPa+PUu3aCy9mn44emcbE4Fcg/Ngmv6bw9O4QLOHyUPZukf3Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:30:45.525831Z"},"content_sha256":"a13831543d2608d6b4ca5b18bd6af9271d57fbf0cacb2c7afabcc1617a1e8b05","schema_version":"1.0","event_id":"sha256:a13831543d2608d6b4ca5b18bd6af9271d57fbf0cacb2c7afabcc1617a1e8b05"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:O5CBKQH7TDADCYKT2DF7CUZM7I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Handcoded Probabilistic Inference Procedures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Cambridge Yang, Eric Atkinson, Michael Carbin","submitted_at":"2018-05-04T17:13:15Z","abstract_excerpt":"Researchers have recently proposed several systems that ease the process of performing Bayesian probabilistic inference. These include systems for automatic inference algorithm synthesis as well as stronger abstractions for manual algorithm development. However, existing systems whose performance relies on the developer manually constructing a part of the inference algorithm have limited support for reasoning about the correctness of the resulting algorithm.\n  In this paper, we present Shuffle, a programming language for manually developing inference procedures that 1) enforces the basic rules"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.01863","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":""},"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-05-18T00:16:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s1Nome6RJSSB8u3Rfr+Jruo89ZerxXrdOLIbNQTZ9v/eBcvgygE/nYZrVH/lXjsDFohso8rh3DPwoPF1CGYjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:30:45.526178Z"},"content_sha256":"a61f43eafd18b3685285c2185c5eb52b65499eded3dca4a23d42df5fb15ab245","schema_version":"1.0","event_id":"sha256:a61f43eafd18b3685285c2185c5eb52b65499eded3dca4a23d42df5fb15ab245"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O5CBKQH7TDADCYKT2DF7CUZM7I/bundle.json","state_url":"https://pith.science/pith/O5CBKQH7TDADCYKT2DF7CUZM7I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O5CBKQH7TDADCYKT2DF7CUZM7I/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-06-04T11:30:45Z","links":{"resolver":"https://pith.science/pith/O5CBKQH7TDADCYKT2DF7CUZM7I","bundle":"https://pith.science/pith/O5CBKQH7TDADCYKT2DF7CUZM7I/bundle.json","state":"https://pith.science/pith/O5CBKQH7TDADCYKT2DF7CUZM7I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O5CBKQH7TDADCYKT2DF7CUZM7I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:O5CBKQH7TDADCYKT2DF7CUZM7I","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":"3e4e8e28895e76a85b9a4be0dcbce1aff1d76ec5acafd79d162466a045713a24","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-04T17:13:15Z","title_canon_sha256":"e05a49c1674e480c14ecc40cb3f052a1cfcd0d22a776ac5c1ef87c7527071649"},"schema_version":"1.0","source":{"id":"1805.01863","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.01863","created_at":"2026-05-18T00:16:46Z"},{"alias_kind":"arxiv_version","alias_value":"1805.01863v1","created_at":"2026-05-18T00:16:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.01863","created_at":"2026-05-18T00:16:46Z"},{"alias_kind":"pith_short_12","alias_value":"O5CBKQH7TDAD","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"O5CBKQH7TDADCYKT","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"O5CBKQH7","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:a61f43eafd18b3685285c2185c5eb52b65499eded3dca4a23d42df5fb15ab245","target":"graph","created_at":"2026-05-18T00:16:46Z","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"},"paper":{"abstract_excerpt":"Researchers have recently proposed several systems that ease the process of performing Bayesian probabilistic inference. These include systems for automatic inference algorithm synthesis as well as stronger abstractions for manual algorithm development. However, existing systems whose performance relies on the developer manually constructing a part of the inference algorithm have limited support for reasoning about the correctness of the resulting algorithm.\n  In this paper, we present Shuffle, a programming language for manually developing inference procedures that 1) enforces the basic rules","authors_text":"Cambridge Yang, Eric Atkinson, Michael Carbin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-04T17:13:15Z","title":"Verifying Handcoded Probabilistic Inference Procedures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.01863","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:a13831543d2608d6b4ca5b18bd6af9271d57fbf0cacb2c7afabcc1617a1e8b05","target":"record","created_at":"2026-05-18T00:16:46Z","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":"3e4e8e28895e76a85b9a4be0dcbce1aff1d76ec5acafd79d162466a045713a24","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-04T17:13:15Z","title_canon_sha256":"e05a49c1674e480c14ecc40cb3f052a1cfcd0d22a776ac5c1ef87c7527071649"},"schema_version":"1.0","source":{"id":"1805.01863","kind":"arxiv","version":1}},"canonical_sha256":"77441540ff98c0316153d0cbf1532cfa310aee77b9c0155e5983ef399fef6acb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77441540ff98c0316153d0cbf1532cfa310aee77b9c0155e5983ef399fef6acb","first_computed_at":"2026-05-18T00:16:46.430493Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:46.430493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"elfZg6r0bEO7CNTGZT9oC1g5b17j+EwBifGb5OOwyjerv9Uc59SvTtAQS4kTyQGygst41KPqjgxx6ltteG/dCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:46.431109Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.01863","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a13831543d2608d6b4ca5b18bd6af9271d57fbf0cacb2c7afabcc1617a1e8b05","sha256:a61f43eafd18b3685285c2185c5eb52b65499eded3dca4a23d42df5fb15ab245"],"state_sha256":"b80bf5951f6e7dd476efcd9d5202a508f0c8ba9f8ca59b0740cd7a7443b227c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dot6QWlVYiHfLzeVCOfAlqnokpG8lkjeQRTM+hvQtpXSh+evPlTKHxH09FtaeeLDTLbT1EkWbnEb5pbdHwHmDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T11:30:45.528192Z","bundle_sha256":"e53adf490918b95401ae87cba2cb20a8c32323ce22457351c9da4e1d16fda8d2"}}