{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:PYFRAVAOK7W7QHK544YZIW3N6E","short_pith_number":"pith:PYFRAVAO","canonical_record":{"source":{"id":"1203.3482","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-15T11:17:56Z","cross_cats_sorted":[],"title_canon_sha256":"89ecb8bd8599e225a32852de24244e7f4e4995fa9fbc923e162ad570149ce738","abstract_canon_sha256":"7d0b56a307fc051821fe52f9882629e2e5b4f537416282d5da232d9f4238d9a7"},"schema_version":"1.0"},"canonical_sha256":"7e0b10540e57edf81d5de731945b6df134b22fac12e6998827945c21e974369f","source":{"kind":"arxiv","id":"1203.3482","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.3482","created_at":"2026-05-18T04:00:00Z"},{"alias_kind":"arxiv_version","alias_value":"1203.3482v1","created_at":"2026-05-18T04:00:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.3482","created_at":"2026-05-18T04:00:00Z"},{"alias_kind":"pith_short_12","alias_value":"PYFRAVAOK7W7","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"PYFRAVAOK7W7QHK5","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"PYFRAVAO","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:PYFRAVAOK7W7QHK544YZIW3N6E","target":"record","payload":{"canonical_record":{"source":{"id":"1203.3482","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-15T11:17:56Z","cross_cats_sorted":[],"title_canon_sha256":"89ecb8bd8599e225a32852de24244e7f4e4995fa9fbc923e162ad570149ce738","abstract_canon_sha256":"7d0b56a307fc051821fe52f9882629e2e5b4f537416282d5da232d9f4238d9a7"},"schema_version":"1.0"},"canonical_sha256":"7e0b10540e57edf81d5de731945b6df134b22fac12e6998827945c21e974369f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:00.385095Z","signature_b64":"Lh69fPzs7w3QOXYVB9jHMA5LeXTEAaN8rePR/RE1RnBcOuRLFMc/YOLhn02uqBP2DvY4WU/0hRChs/GwhFVIBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e0b10540e57edf81d5de731945b6df134b22fac12e6998827945c21e974369f","last_reissued_at":"2026-05-18T04:00:00.384554Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:00.384554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.3482","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-18T04:00:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WIt9bfMSVsWPalW4pRUDLF7z5ph32cVBjqHo4XrYU5IiCymDvS8LRvSa11GyJ5Zr0wAPAWfV0gJOQSv+TPRsCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T12:00:12.022924Z"},"content_sha256":"cb6c7fae6f6aed30db4d1b95ff796a4c293ec264f5cd6b12ab0946f4e76b3713","schema_version":"1.0","event_id":"sha256:cb6c7fae6f6aed30db4d1b95ff796a4c293ec264f5cd6b12ab0946f4e76b3713"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:PYFRAVAOK7W7QHK544YZIW3N6E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formula-Based Probabilistic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Pedro Domingos, Vibhav Gogate","submitted_at":"2012-03-15T11:17:56Z","abstract_excerpt":"Computing the probability of a formula given the probabilities or weights associated with other formulas is a natural extension of logical inference to the probabilistic setting. Surprisingly, this problem has received little attention in the literature to date, particularly considering that it includes many standard inference problems as special cases. In this paper, we propose two algorithms for this problem: formula decomposition and conditioning, which is an exact method, and formula importance sampling, which is an approximate method. The latter is, to our knowledge, the first application"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.3482","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-18T04:00:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cWHOPak2jaA7C7LxF8iRSxI592kmUgQZOh4iEIQ4MtBLnkCX1HGTXObEpgmbdpMoj0KFBl+QbjhpnvTBMV62Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T12:00:12.023276Z"},"content_sha256":"2fc416565ebac2c7398bb4b985784759dda95879dec1da193430f639158bef14","schema_version":"1.0","event_id":"sha256:2fc416565ebac2c7398bb4b985784759dda95879dec1da193430f639158bef14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PYFRAVAOK7W7QHK544YZIW3N6E/bundle.json","state_url":"https://pith.science/pith/PYFRAVAOK7W7QHK544YZIW3N6E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PYFRAVAOK7W7QHK544YZIW3N6E/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-20T12:00:12Z","links":{"resolver":"https://pith.science/pith/PYFRAVAOK7W7QHK544YZIW3N6E","bundle":"https://pith.science/pith/PYFRAVAOK7W7QHK544YZIW3N6E/bundle.json","state":"https://pith.science/pith/PYFRAVAOK7W7QHK544YZIW3N6E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PYFRAVAOK7W7QHK544YZIW3N6E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:PYFRAVAOK7W7QHK544YZIW3N6E","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":"7d0b56a307fc051821fe52f9882629e2e5b4f537416282d5da232d9f4238d9a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-15T11:17:56Z","title_canon_sha256":"89ecb8bd8599e225a32852de24244e7f4e4995fa9fbc923e162ad570149ce738"},"schema_version":"1.0","source":{"id":"1203.3482","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.3482","created_at":"2026-05-18T04:00:00Z"},{"alias_kind":"arxiv_version","alias_value":"1203.3482v1","created_at":"2026-05-18T04:00:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.3482","created_at":"2026-05-18T04:00:00Z"},{"alias_kind":"pith_short_12","alias_value":"PYFRAVAOK7W7","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"PYFRAVAOK7W7QHK5","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"PYFRAVAO","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:2fc416565ebac2c7398bb4b985784759dda95879dec1da193430f639158bef14","target":"graph","created_at":"2026-05-18T04:00:00Z","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":"Computing the probability of a formula given the probabilities or weights associated with other formulas is a natural extension of logical inference to the probabilistic setting. Surprisingly, this problem has received little attention in the literature to date, particularly considering that it includes many standard inference problems as special cases. In this paper, we propose two algorithms for this problem: formula decomposition and conditioning, which is an exact method, and formula importance sampling, which is an approximate method. The latter is, to our knowledge, the first application","authors_text":"Pedro Domingos, Vibhav Gogate","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-15T11:17:56Z","title":"Formula-Based Probabilistic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.3482","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:cb6c7fae6f6aed30db4d1b95ff796a4c293ec264f5cd6b12ab0946f4e76b3713","target":"record","created_at":"2026-05-18T04:00:00Z","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":"7d0b56a307fc051821fe52f9882629e2e5b4f537416282d5da232d9f4238d9a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-15T11:17:56Z","title_canon_sha256":"89ecb8bd8599e225a32852de24244e7f4e4995fa9fbc923e162ad570149ce738"},"schema_version":"1.0","source":{"id":"1203.3482","kind":"arxiv","version":1}},"canonical_sha256":"7e0b10540e57edf81d5de731945b6df134b22fac12e6998827945c21e974369f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e0b10540e57edf81d5de731945b6df134b22fac12e6998827945c21e974369f","first_computed_at":"2026-05-18T04:00:00.384554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:00.384554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lh69fPzs7w3QOXYVB9jHMA5LeXTEAaN8rePR/RE1RnBcOuRLFMc/YOLhn02uqBP2DvY4WU/0hRChs/GwhFVIBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:00.385095Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.3482","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb6c7fae6f6aed30db4d1b95ff796a4c293ec264f5cd6b12ab0946f4e76b3713","sha256:2fc416565ebac2c7398bb4b985784759dda95879dec1da193430f639158bef14"],"state_sha256":"38da19a2fe14970ced6450ec4e6aa93aa7aa854590746369839c2643c0aa318e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vw+JL+fFNiY7e7c7XYRLDNcrjcjL0nk7XZ9dlmwqJ6EjH19SCYINBkjhmz2oLap3fMzpZ0WNe3Ox7BnFg4U8Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T12:00:12.025198Z","bundle_sha256":"286eda0100a56c9a47a6486746542424df62b2ba28881bbaf8f2b378d3b355b0"}}