{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:7D6QV42T7RJPJMRVRNJU2BDALV","short_pith_number":"pith:7D6QV42T","canonical_record":{"source":{"id":"1606.04216","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T07:01:00Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"1a9099fb624b1e04d0b6ec39105d9246f364790caf3a118f85661d700e06d64a","abstract_canon_sha256":"827783a27cdcb76f83a66c22e49e3de08694fec837b4e40b458595b6a86999be"},"schema_version":"1.0"},"canonical_sha256":"f8fd0af353fc52f4b2358b534d04605d5af1753d4091cdde2229b45238602b74","source":{"kind":"arxiv","id":"1606.04216","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.04216","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"arxiv_version","alias_value":"1606.04216v1","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04216","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"pith_short_12","alias_value":"7D6QV42T7RJP","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7D6QV42T7RJPJMRV","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7D6QV42T","created_at":"2026-05-18T12:30:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:7D6QV42T7RJPJMRVRNJU2BDALV","target":"record","payload":{"canonical_record":{"source":{"id":"1606.04216","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T07:01:00Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"1a9099fb624b1e04d0b6ec39105d9246f364790caf3a118f85661d700e06d64a","abstract_canon_sha256":"827783a27cdcb76f83a66c22e49e3de08694fec837b4e40b458595b6a86999be"},"schema_version":"1.0"},"canonical_sha256":"f8fd0af353fc52f4b2358b534d04605d5af1753d4091cdde2229b45238602b74","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:25.947191Z","signature_b64":"4Btbx5ytZeCWp4JldSvv4NcsDmkii832C3IyTgMwV3ia2A5NulSzrC5GJ4jsYWLDzdSqhpsDKnVl47bWdJHKAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8fd0af353fc52f4b2358b534d04605d5af1753d4091cdde2229b45238602b74","last_reissued_at":"2026-05-18T01:12:25.946739Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:25.946739Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.04216","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-18T01:12:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fMWiwbJVDxkE5e/ICYiR0TMPysQjx1lmevalKIc8PCx3NHoRFIGrDEoKwxAv9bZIiRIn6j3pcy2muGuELJU+Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:58:03.510451Z"},"content_sha256":"707056f8e7cc7c803a036bb3176585930a878505091f5171ed4884d39d73496f","schema_version":"1.0","event_id":"sha256:707056f8e7cc7c803a036bb3176585930a878505091f5171ed4884d39d73496f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:7D6QV42T7RJPJMRVRNJU2BDALV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spreadsheet Probabilistic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Frank Wood, Hongseok Yang, Mike Wu, Yura Perov","submitted_at":"2016-06-14T07:01:00Z","abstract_excerpt":"Spreadsheet workbook contents are simple programs. Because of this, probabilistic programming techniques can be used to perform Bayesian inversion of spreadsheet computations. What is more, existing execution engines in spreadsheet applications such as Microsoft Excel can be made to do this using only built-in functionality. We demonstrate this by developing a native Excel implementation of both a particle Markov Chain Monte Carlo variant and black-box variational inference for spreadsheet probabilistic programming. The resulting engine performs probabilistically coherent inference over spread"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04216","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-18T01:12:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iW+YQy1SZiIHhSM5fbnevDhZk5xKKSGNXQvI/6cz9f9xl6c5ehov4IZCkPA1Ooy0MODBjMyvRvBJTxJjW9inCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:58:03.510841Z"},"content_sha256":"9c109ede473b9ead16217c1e2843a539fd3b60604d85fa4eeb5295c7fa488eb6","schema_version":"1.0","event_id":"sha256:9c109ede473b9ead16217c1e2843a539fd3b60604d85fa4eeb5295c7fa488eb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/bundle.json","state_url":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7D6QV42T7RJPJMRVRNJU2BDALV/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-05-27T16:58:03Z","links":{"resolver":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV","bundle":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/bundle.json","state":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7D6QV42T7RJPJMRVRNJU2BDALV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:7D6QV42T7RJPJMRVRNJU2BDALV","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":"827783a27cdcb76f83a66c22e49e3de08694fec837b4e40b458595b6a86999be","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T07:01:00Z","title_canon_sha256":"1a9099fb624b1e04d0b6ec39105d9246f364790caf3a118f85661d700e06d64a"},"schema_version":"1.0","source":{"id":"1606.04216","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.04216","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"arxiv_version","alias_value":"1606.04216v1","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04216","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"pith_short_12","alias_value":"7D6QV42T7RJP","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7D6QV42T7RJPJMRV","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7D6QV42T","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:9c109ede473b9ead16217c1e2843a539fd3b60604d85fa4eeb5295c7fa488eb6","target":"graph","created_at":"2026-05-18T01:12: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"},"paper":{"abstract_excerpt":"Spreadsheet workbook contents are simple programs. Because of this, probabilistic programming techniques can be used to perform Bayesian inversion of spreadsheet computations. What is more, existing execution engines in spreadsheet applications such as Microsoft Excel can be made to do this using only built-in functionality. We demonstrate this by developing a native Excel implementation of both a particle Markov Chain Monte Carlo variant and black-box variational inference for spreadsheet probabilistic programming. The resulting engine performs probabilistically coherent inference over spread","authors_text":"Frank Wood, Hongseok Yang, Mike Wu, Yura Perov","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T07:01:00Z","title":"Spreadsheet Probabilistic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04216","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:707056f8e7cc7c803a036bb3176585930a878505091f5171ed4884d39d73496f","target":"record","created_at":"2026-05-18T01:12: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":"827783a27cdcb76f83a66c22e49e3de08694fec837b4e40b458595b6a86999be","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T07:01:00Z","title_canon_sha256":"1a9099fb624b1e04d0b6ec39105d9246f364790caf3a118f85661d700e06d64a"},"schema_version":"1.0","source":{"id":"1606.04216","kind":"arxiv","version":1}},"canonical_sha256":"f8fd0af353fc52f4b2358b534d04605d5af1753d4091cdde2229b45238602b74","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8fd0af353fc52f4b2358b534d04605d5af1753d4091cdde2229b45238602b74","first_computed_at":"2026-05-18T01:12:25.946739Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:25.946739Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4Btbx5ytZeCWp4JldSvv4NcsDmkii832C3IyTgMwV3ia2A5NulSzrC5GJ4jsYWLDzdSqhpsDKnVl47bWdJHKAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:25.947191Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.04216","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:707056f8e7cc7c803a036bb3176585930a878505091f5171ed4884d39d73496f","sha256:9c109ede473b9ead16217c1e2843a539fd3b60604d85fa4eeb5295c7fa488eb6"],"state_sha256":"1b14651ee0f8d7af558866d5bba001a4b5eb23994534b040023d9e866ee7fe04"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5StH+qHWedYFjWGmudkT0+8I3/tr8clOE9tlPnrNBJMltv8ki5Ob5iZPlAzLdY0Na9YBNYnUSM9oNLVgCFA0AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:58:03.513280Z","bundle_sha256":"c30714857cf40ea208894ba0f85c082d45232d5a1f6250b8d94bb1fd62121e54"}}