{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WPIRJR3I7ZY3CMDNDUYI6VMKDJ","short_pith_number":"pith:WPIRJR3I","canonical_record":{"source":{"id":"2606.05348","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T18:49:07Z","cross_cats_sorted":["cs.LO","stat.CO"],"title_canon_sha256":"b7e3eed2c56eb2823a544bbfc943ef56e6e5de2a0289d5ed8aa55528116018dd","abstract_canon_sha256":"79db74d7af578a1fdfc7219850f039560d5d17c718fcafa735092d23f38144ac"},"schema_version":"1.0"},"canonical_sha256":"b3d114c768fe71b1306d1d308f558a1a44d5b18539c76460fc150e0c9c8820fe","source":{"kind":"arxiv","id":"2606.05348","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.05348","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2606.05348v1","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05348","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"WPIRJR3I7ZY3","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"WPIRJR3I7ZY3CMDN","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"WPIRJR3I","created_at":"2026-06-05T00:13:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WPIRJR3I7ZY3CMDNDUYI6VMKDJ","target":"record","payload":{"canonical_record":{"source":{"id":"2606.05348","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T18:49:07Z","cross_cats_sorted":["cs.LO","stat.CO"],"title_canon_sha256":"b7e3eed2c56eb2823a544bbfc943ef56e6e5de2a0289d5ed8aa55528116018dd","abstract_canon_sha256":"79db74d7af578a1fdfc7219850f039560d5d17c718fcafa735092d23f38144ac"},"schema_version":"1.0"},"canonical_sha256":"b3d114c768fe71b1306d1d308f558a1a44d5b18539c76460fc150e0c9c8820fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-05T00:13:54.936175Z","signature_b64":"9u1uhoAYtlZQueKv/AEzfMImcoaGLqwoZz0BEqBuTweTkSSPGvWbQzDH3mbNbc4H/xoh8u9VTP8Rd5eudhrmCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3d114c768fe71b1306d1d308f558a1a44d5b18539c76460fc150e0c9c8820fe","last_reissued_at":"2026-06-05T00:13:54.935739Z","signature_status":"signed_v1","first_computed_at":"2026-06-05T00:13:54.935739Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.05348","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-06-05T00:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E9jTXbgYRu5oL0ROIVUtmBJhM2EgV24/NVRllD/mOf/Pq9NSvzjVtv5gzsTOho6nLH8YivtOPbzd0ws56tq4AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T21:06:02.434148Z"},"content_sha256":"db1a4102ddfeccada8c57a7d070338e1b7e055bc29137e5ed00b7c661237d6ea","schema_version":"1.0","event_id":"sha256:db1a4102ddfeccada8c57a7d070338e1b7e055bc29137e5ed00b7c661237d6ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WPIRJR3I7ZY3CMDNDUYI6VMKDJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Incremental Computation for Efficient Programmable Inference in Probabilistic Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","stat.CO"],"primary_cat":"cs.PL","authors_text":"Alexander K. Lew, Fabian Zaiser, Jack Czenszak, Martin C. Rinard, Vikash K. Mansinghka","submitted_at":"2026-06-03T18:49:07Z","abstract_excerpt":"Inference in probabilistic programs generally requires evaluating many possible program executions to find those of high posterior density. To scale inference to large datasets, it is crucial that expensive intermediate results are shared across these many evaluations, rather than recomputed from scratch. This paper presents a new approach to realizing this sharing, based on \\textit{incremental computation}, a technique for efficiently recomputing (deterministic) program outputs when program inputs change. First, we show how expressive probabilistic programs can be compiled to deterministic on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05348","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/2606.05348/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-06-05T00:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HP3Z/dlXSQocj03dBVKecPWXhfx+uHpEkAqgLlDul906IbtBVrn4L1HdbNmWzOi1lABParGhOQ0luiPb5cvkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T21:06:02.434545Z"},"content_sha256":"9b53b90ea39bb118426d9fe9aa5f8a098e0f0d72940f3c85e14ffe51276a540d","schema_version":"1.0","event_id":"sha256:9b53b90ea39bb118426d9fe9aa5f8a098e0f0d72940f3c85e14ffe51276a540d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ/bundle.json","state_url":"https://pith.science/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ/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-29T21:06:02Z","links":{"resolver":"https://pith.science/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ","bundle":"https://pith.science/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ/bundle.json","state":"https://pith.science/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPIRJR3I7ZY3CMDNDUYI6VMKDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WPIRJR3I7ZY3CMDNDUYI6VMKDJ","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":"79db74d7af578a1fdfc7219850f039560d5d17c718fcafa735092d23f38144ac","cross_cats_sorted":["cs.LO","stat.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T18:49:07Z","title_canon_sha256":"b7e3eed2c56eb2823a544bbfc943ef56e6e5de2a0289d5ed8aa55528116018dd"},"schema_version":"1.0","source":{"id":"2606.05348","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.05348","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2606.05348v1","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05348","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"WPIRJR3I7ZY3","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"WPIRJR3I7ZY3CMDN","created_at":"2026-06-05T00:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"WPIRJR3I","created_at":"2026-06-05T00:13:54Z"}],"graph_snapshots":[{"event_id":"sha256:9b53b90ea39bb118426d9fe9aa5f8a098e0f0d72940f3c85e14ffe51276a540d","target":"graph","created_at":"2026-06-05T00:13:54Z","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/2606.05348/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Inference in probabilistic programs generally requires evaluating many possible program executions to find those of high posterior density. To scale inference to large datasets, it is crucial that expensive intermediate results are shared across these many evaluations, rather than recomputed from scratch. This paper presents a new approach to realizing this sharing, based on \\textit{incremental computation}, a technique for efficiently recomputing (deterministic) program outputs when program inputs change. First, we show how expressive probabilistic programs can be compiled to deterministic on","authors_text":"Alexander K. Lew, Fabian Zaiser, Jack Czenszak, Martin C. Rinard, Vikash K. Mansinghka","cross_cats":["cs.LO","stat.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T18:49:07Z","title":"Incremental Computation for Efficient Programmable Inference in Probabilistic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05348","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:db1a4102ddfeccada8c57a7d070338e1b7e055bc29137e5ed00b7c661237d6ea","target":"record","created_at":"2026-06-05T00:13:54Z","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":"79db74d7af578a1fdfc7219850f039560d5d17c718fcafa735092d23f38144ac","cross_cats_sorted":["cs.LO","stat.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-03T18:49:07Z","title_canon_sha256":"b7e3eed2c56eb2823a544bbfc943ef56e6e5de2a0289d5ed8aa55528116018dd"},"schema_version":"1.0","source":{"id":"2606.05348","kind":"arxiv","version":1}},"canonical_sha256":"b3d114c768fe71b1306d1d308f558a1a44d5b18539c76460fc150e0c9c8820fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3d114c768fe71b1306d1d308f558a1a44d5b18539c76460fc150e0c9c8820fe","first_computed_at":"2026-06-05T00:13:54.935739Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-05T00:13:54.935739Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9u1uhoAYtlZQueKv/AEzfMImcoaGLqwoZz0BEqBuTweTkSSPGvWbQzDH3mbNbc4H/xoh8u9VTP8Rd5eudhrmCg==","signature_status":"signed_v1","signed_at":"2026-06-05T00:13:54.936175Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.05348","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db1a4102ddfeccada8c57a7d070338e1b7e055bc29137e5ed00b7c661237d6ea","sha256:9b53b90ea39bb118426d9fe9aa5f8a098e0f0d72940f3c85e14ffe51276a540d"],"state_sha256":"e7b66cd56e7516cf081465ff6f15f7ecde8c284ee1a6687f10c5ca2c8b46b45a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DTZanxw8q72XyCTziDco/iWefGp/yY/ZAByFijMHtvSoW8Ums4BAU1WOoZsvrFh4GA9iJqTbOkuRymrak32VDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T21:06:02.436736Z","bundle_sha256":"a95f9a8b0346533e2a3fa5f5d5c004e68ed5399f2aaea9a50928a1d2815ca52d"}}