{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SUE3T5K5QRYBEPK5F2ANTYOOXO","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":"e5cee076554d812322c88a5a1c54813d1f849f35ea7c1dfe1f903a194fb3539a","cross_cats_sorted":["stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-11T02:07:39Z","title_canon_sha256":"d62343bc7295f95d0c30947290e0bd86d7d35dfc55a8e6da6296ff77a5ea6578"},"schema_version":"1.0","source":{"id":"1801.03612","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03612","created_at":"2026-05-18T00:26:07Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03612v2","created_at":"2026-05-18T00:26:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03612","created_at":"2026-05-18T00:26:07Z"},{"alias_kind":"pith_short_12","alias_value":"SUE3T5K5QRYB","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SUE3T5K5QRYBEPK5","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SUE3T5K5","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:61ca2a00b187103d1fcfd5f08209a97cfcc2eb8d47fa044df9fc070820193f6c","target":"graph","created_at":"2026-05-18T00:26:07Z","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":"Monte Carlo inference has asymptotic guarantees, but can be slow when using generic proposals. Handcrafted proposals that rely on user knowledge about the posterior distribution can be efficient, but are difficult to derive and implement. This paper proposes to let users express their posterior knowledge in the form of proposal programs, which are samplers written in probabilistic programming languages. One strategy for writing good proposal programs is to combine domain-specific heuristic algorithms with neural network models. The heuristics identify high probability regions, and the neural n","authors_text":"Marco F. Cusumano-Towner, Vikash K. Mansinghka","cross_cats":["stat.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-11T02:07:39Z","title":"Using probabilistic programs as proposals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03612","kind":"arxiv","version":2},"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:0d12c2847d8ff54b53b8aa69f5f096b9bc4f10239aab92e0173e5d985a24a031","target":"record","created_at":"2026-05-18T00:26:07Z","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":"e5cee076554d812322c88a5a1c54813d1f849f35ea7c1dfe1f903a194fb3539a","cross_cats_sorted":["stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-01-11T02:07:39Z","title_canon_sha256":"d62343bc7295f95d0c30947290e0bd86d7d35dfc55a8e6da6296ff77a5ea6578"},"schema_version":"1.0","source":{"id":"1801.03612","kind":"arxiv","version":2}},"canonical_sha256":"9509b9f55d8470123d5d2e80d9e1cebb999249aa0736bf58e1ff9fe6d97a75a8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9509b9f55d8470123d5d2e80d9e1cebb999249aa0736bf58e1ff9fe6d97a75a8","first_computed_at":"2026-05-18T00:26:07.138063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:07.138063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CTuzhdGUVXg635heB9uyS4bdOtzEqaKft0Z3I4Er8Uifo5+tcoa1A9htmnI1zBRNr66w5y02za0e1LcvdM50Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:07.138805Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.03612","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d12c2847d8ff54b53b8aa69f5f096b9bc4f10239aab92e0173e5d985a24a031","sha256:61ca2a00b187103d1fcfd5f08209a97cfcc2eb8d47fa044df9fc070820193f6c"],"state_sha256":"d7de98f88b48dfebed049dcacda49deb6500077478106c38f083ce1631d27133"}