{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:AFKWH5CK25GBGYK7IXKZC2AVT3","short_pith_number":"pith:AFKWH5CK","canonical_record":{"source":{"id":"1610.08445","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2016-10-26T18:13:42Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"9446dc888d0b7bd6c1d93939c0275a935f71be09aa092762e8d8a1fa5e594ea0","abstract_canon_sha256":"fcf636d3bfdd454b6b14a77adb321ca4903df7912f169956fe45598827f86b2c"},"schema_version":"1.0"},"canonical_sha256":"015563f44ad74c13615f45d59168159edb36df3da07803ee2a685251c1fe3254","source":{"kind":"arxiv","id":"1610.08445","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.08445","created_at":"2026-05-18T01:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"1610.08445v1","created_at":"2026-05-18T01:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.08445","created_at":"2026-05-18T01:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"AFKWH5CK25GB","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AFKWH5CK25GBGYK7","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AFKWH5CK","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:AFKWH5CK25GBGYK7IXKZC2AVT3","target":"record","payload":{"canonical_record":{"source":{"id":"1610.08445","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2016-10-26T18:13:42Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"9446dc888d0b7bd6c1d93939c0275a935f71be09aa092762e8d8a1fa5e594ea0","abstract_canon_sha256":"fcf636d3bfdd454b6b14a77adb321ca4903df7912f169956fe45598827f86b2c"},"schema_version":"1.0"},"canonical_sha256":"015563f44ad74c13615f45d59168159edb36df3da07803ee2a685251c1fe3254","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:09.435079Z","signature_b64":"xrKohEsrG0zQvN0O+yCBqT++kB30bZEC9EnE7dmCFedqE0AHKGPu+aBShsdjNfzWASkABlISFdSI1J+x2qwBAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"015563f44ad74c13615f45d59168159edb36df3da07803ee2a685251c1fe3254","last_reissued_at":"2026-05-18T01:01:09.434404Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:09.434404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.08445","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:01:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iRwj7ra65owc5FdILA6scfn7MuVR2qPCHw3kqMF2SrVFfavtH7KZuynib4NL8WZVfsIWhfNH+HnDP/cBNWJfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:12:31.113860Z"},"content_sha256":"c537b24ba7efac92f4eb3b409f81d929a36e1ea52533d0af8f185692dfc1600e","schema_version":"1.0","event_id":"sha256:c537b24ba7efac92f4eb3b409f81d929a36e1ea52533d0af8f185692dfc1600e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:AFKWH5CK25GBGYK7IXKZC2AVT3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"New Liftable Classes for First-Order Probabilistic Inference","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.AI","authors_text":"Angelika Kimmig, David Poole, Guy Van den Broeck, Seyed Mehran Kazemi","submitted_at":"2016-10-26T18:13:42Z","abstract_excerpt":"Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without needing to reason about each individual separately, by instead treating exchangeable, undistinguished objects as a whole. In this paper, we study the domain recursion inference rule, which, despite its central role in early theoretical results on domain-lifted inference, has later been believed redundant. We show that this rule is more powerful than expected, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.08445","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:01:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/rxuNI24dHzSjd6NgXpxc3bCRhPZjBCy8jB9BaORAyK7lHx2hxn7t7/HZ7GzjolIs197PvjKrbnLjS9a8QTzBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:12:31.114506Z"},"content_sha256":"179cab8aeadfc0eabf80eb97ec74bd31c242c3c52df4c3cd5c55b770464f8932","schema_version":"1.0","event_id":"sha256:179cab8aeadfc0eabf80eb97ec74bd31c242c3c52df4c3cd5c55b770464f8932"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AFKWH5CK25GBGYK7IXKZC2AVT3/bundle.json","state_url":"https://pith.science/pith/AFKWH5CK25GBGYK7IXKZC2AVT3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AFKWH5CK25GBGYK7IXKZC2AVT3/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-06T13:12:31Z","links":{"resolver":"https://pith.science/pith/AFKWH5CK25GBGYK7IXKZC2AVT3","bundle":"https://pith.science/pith/AFKWH5CK25GBGYK7IXKZC2AVT3/bundle.json","state":"https://pith.science/pith/AFKWH5CK25GBGYK7IXKZC2AVT3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AFKWH5CK25GBGYK7IXKZC2AVT3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:AFKWH5CK25GBGYK7IXKZC2AVT3","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":"fcf636d3bfdd454b6b14a77adb321ca4903df7912f169956fe45598827f86b2c","cross_cats_sorted":["stat.ML"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2016-10-26T18:13:42Z","title_canon_sha256":"9446dc888d0b7bd6c1d93939c0275a935f71be09aa092762e8d8a1fa5e594ea0"},"schema_version":"1.0","source":{"id":"1610.08445","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.08445","created_at":"2026-05-18T01:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"1610.08445v1","created_at":"2026-05-18T01:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.08445","created_at":"2026-05-18T01:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"AFKWH5CK25GB","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AFKWH5CK25GBGYK7","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AFKWH5CK","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:179cab8aeadfc0eabf80eb97ec74bd31c242c3c52df4c3cd5c55b770464f8932","target":"graph","created_at":"2026-05-18T01:01:09Z","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":"Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without needing to reason about each individual separately, by instead treating exchangeable, undistinguished objects as a whole. In this paper, we study the domain recursion inference rule, which, despite its central role in early theoretical results on domain-lifted inference, has later been believed redundant. We show that this rule is more powerful than expected, a","authors_text":"Angelika Kimmig, David Poole, Guy Van den Broeck, Seyed Mehran Kazemi","cross_cats":["stat.ML"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2016-10-26T18:13:42Z","title":"New Liftable Classes for First-Order Probabilistic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.08445","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:c537b24ba7efac92f4eb3b409f81d929a36e1ea52533d0af8f185692dfc1600e","target":"record","created_at":"2026-05-18T01:01:09Z","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":"fcf636d3bfdd454b6b14a77adb321ca4903df7912f169956fe45598827f86b2c","cross_cats_sorted":["stat.ML"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2016-10-26T18:13:42Z","title_canon_sha256":"9446dc888d0b7bd6c1d93939c0275a935f71be09aa092762e8d8a1fa5e594ea0"},"schema_version":"1.0","source":{"id":"1610.08445","kind":"arxiv","version":1}},"canonical_sha256":"015563f44ad74c13615f45d59168159edb36df3da07803ee2a685251c1fe3254","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"015563f44ad74c13615f45d59168159edb36df3da07803ee2a685251c1fe3254","first_computed_at":"2026-05-18T01:01:09.434404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:09.434404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xrKohEsrG0zQvN0O+yCBqT++kB30bZEC9EnE7dmCFedqE0AHKGPu+aBShsdjNfzWASkABlISFdSI1J+x2qwBAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:09.435079Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.08445","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c537b24ba7efac92f4eb3b409f81d929a36e1ea52533d0af8f185692dfc1600e","sha256:179cab8aeadfc0eabf80eb97ec74bd31c242c3c52df4c3cd5c55b770464f8932"],"state_sha256":"e0b37a067a5a8a81fdd75a6d679513467eddf029bf91a1f0de545aed7852ed90"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vUJvBfl4HQ/3jHk+o5e/QH/ihJFpUIbwKfLe9+zHPLHiXouozcu+QKs5FhWnpfbOrmQFsEcO+5U5nnJnsDLIDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T13:12:31.118037Z","bundle_sha256":"33e8e204284d64d3fe4975f8b71919c1768cc3ebc87c6af09cd7f949dc71f314"}}