{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VL5GGYBDUFSWD7VBWKA6NYZCW3","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":"93250337415aee08c20aa64c94fc353ae7b83ad27c315fa95daa8ddf33b3beec","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-26T17:10:10Z","title_canon_sha256":"e081e69bc0fae186c9e22cecc7533404cac5bba8977349f8a1e43a7aee1fc796"},"schema_version":"1.0","source":{"id":"1605.08367","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.08367","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"arxiv_version","alias_value":"1605.08367v2","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.08367","created_at":"2026-05-18T01:13:30Z"},{"alias_kind":"pith_short_12","alias_value":"VL5GGYBDUFSW","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VL5GGYBDUFSWD7VB","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VL5GGYBD","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:1686482c8828d69597054065dbdc5b9547e479518e01bbd9b603499f0f9f1843","target":"graph","created_at":"2026-05-18T01:13:30Z","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":"We present SGDPLL(T), an algorithm that solves (among many other problems) probabilistic inference modulo theories, that is, inference problems over probabilistic models defined via a logic theory provided as a parameter (currently, propositional, equalities on discrete sorts, and inequalities, more specifically difference arithmetic, on bounded integers). While many solutions to probabilistic inference over logic representations have been proposed, SGDPLL(T) is simultaneously (1) lifted, (2) exact and (3) modulo theories, that is, parameterized by a background logic theory. This offers a foun","authors_text":"Ciaran O'Reilly, Rina Dechter, Rodrigo de Salvo Braz, Vibhav Gogate","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-26T17:10:10Z","title":"Probabilistic Inference Modulo Theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.08367","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:d1195c33088b0f7c8ba1db313902bbbc5028c62002ca5cdb5d00664eab3b12d5","target":"record","created_at":"2026-05-18T01:13:30Z","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":"93250337415aee08c20aa64c94fc353ae7b83ad27c315fa95daa8ddf33b3beec","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-26T17:10:10Z","title_canon_sha256":"e081e69bc0fae186c9e22cecc7533404cac5bba8977349f8a1e43a7aee1fc796"},"schema_version":"1.0","source":{"id":"1605.08367","kind":"arxiv","version":2}},"canonical_sha256":"aafa636023a16561fea1b281e6e322b6f0c3e5b4aac070412a7d1eaf1ccd80e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aafa636023a16561fea1b281e6e322b6f0c3e5b4aac070412a7d1eaf1ccd80e8","first_computed_at":"2026-05-18T01:13:30.080271Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:30.080271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PNfItSkVa+BlDecyCLhdEjehqvETAjUeumnM0ejpXO4LTVSeeCh6oN/GSlxVNCbhJ9rZeLTBa3olu13SeNZ5Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:30.080906Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.08367","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d1195c33088b0f7c8ba1db313902bbbc5028c62002ca5cdb5d00664eab3b12d5","sha256:1686482c8828d69597054065dbdc5b9547e479518e01bbd9b603499f0f9f1843"],"state_sha256":"0c1f060f00832a37417995bf10ebaecbcf8462403b0f709462540a6338ed155c"}