{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:7D6QV42T7RJPJMRVRNJU2BDALV","short_pith_number":"pith:7D6QV42T","schema_version":"1.0","canonical_sha256":"f8fd0af353fc52f4b2358b534d04605d5af1753d4091cdde2229b45238602b74","source":{"kind":"arxiv","id":"1606.04216","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1606.04216","created_at":"2026-05-18T01:12:25.946800+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.04216v1","created_at":"2026-05-18T01:12:25.946800+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04216","created_at":"2026-05-18T01:12:25.946800+00:00"},{"alias_kind":"pith_short_12","alias_value":"7D6QV42T7RJP","created_at":"2026-05-18T12:30:04.600751+00:00"},{"alias_kind":"pith_short_16","alias_value":"7D6QV42T7RJPJMRV","created_at":"2026-05-18T12:30:04.600751+00:00"},{"alias_kind":"pith_short_8","alias_value":"7D6QV42T","created_at":"2026-05-18T12:30:04.600751+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV","json":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV.json","graph_json":"https://pith.science/api/pith-number/7D6QV42T7RJPJMRVRNJU2BDALV/graph.json","events_json":"https://pith.science/api/pith-number/7D6QV42T7RJPJMRVRNJU2BDALV/events.json","paper":"https://pith.science/paper/7D6QV42T"},"agent_actions":{"view_html":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV","download_json":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV.json","view_paper":"https://pith.science/paper/7D6QV42T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.04216&json=true","fetch_graph":"https://pith.science/api/pith-number/7D6QV42T7RJPJMRVRNJU2BDALV/graph.json","fetch_events":"https://pith.science/api/pith-number/7D6QV42T7RJPJMRVRNJU2BDALV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/action/storage_attestation","attest_author":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/action/author_attestation","sign_citation":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/action/citation_signature","submit_replication":"https://pith.science/pith/7D6QV42T7RJPJMRVRNJU2BDALV/action/replication_record"}},"created_at":"2026-05-18T01:12:25.946800+00:00","updated_at":"2026-05-18T01:12:25.946800+00:00"}