{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:YGG5GPYRX344DWJX7WX2XWTWQ6","short_pith_number":"pith:YGG5GPYR","canonical_record":{"source":{"id":"1208.3809","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-08-19T04:55:25Z","cross_cats_sorted":[],"title_canon_sha256":"0d22fd47fdcc30d592f91c34b6b1b0547d5a5c3b28f9c71261dae49c7b010924","abstract_canon_sha256":"2210ab6131b0c1c3ef01be4f3ed7bd568e509800ae751959237e9403e49c3d32"},"schema_version":"1.0"},"canonical_sha256":"c18dd33f11bef9c1d937fdafabda76878d93a328fd81ef21c9bc24f6397104c7","source":{"kind":"arxiv","id":"1208.3809","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.3809","created_at":"2026-05-18T03:47:52Z"},{"alias_kind":"arxiv_version","alias_value":"1208.3809v2","created_at":"2026-05-18T03:47:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.3809","created_at":"2026-05-18T03:47:52Z"},{"alias_kind":"pith_short_12","alias_value":"YGG5GPYRX344","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"YGG5GPYRX344DWJX","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"YGG5GPYR","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:YGG5GPYRX344DWJX7WX2XWTWQ6","target":"record","payload":{"canonical_record":{"source":{"id":"1208.3809","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-08-19T04:55:25Z","cross_cats_sorted":[],"title_canon_sha256":"0d22fd47fdcc30d592f91c34b6b1b0547d5a5c3b28f9c71261dae49c7b010924","abstract_canon_sha256":"2210ab6131b0c1c3ef01be4f3ed7bd568e509800ae751959237e9403e49c3d32"},"schema_version":"1.0"},"canonical_sha256":"c18dd33f11bef9c1d937fdafabda76878d93a328fd81ef21c9bc24f6397104c7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:47:52.442560Z","signature_b64":"Y6SWdxS2NsNIc0cJ9uPA+DFL5pwgY45QWq4aQyC5vJ6W/4AliAzse3sH1c0h0akJ6iBiYtCz8mf7GvuOEJyYBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c18dd33f11bef9c1d937fdafabda76878d93a328fd81ef21c9bc24f6397104c7","last_reissued_at":"2026-05-18T03:47:52.441744Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:47:52.441744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1208.3809","source_version":2,"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-18T03:47:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z3b+46h2SxWUp199lyAKfW95kFYezVpYXENhE7q02Z0XF8wrP2dQBbkJU9mXCWvVfjZ60j90uxI5VYLLooDbAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:04:30.794969Z"},"content_sha256":"8d03d1573b08daeba6a5821dc5942835439fdcd6ef9399c50fd5e152c7504436","schema_version":"1.0","event_id":"sha256:8d03d1573b08daeba6a5821dc5942835439fdcd6ef9399c50fd5e152c7504436"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:YGG5GPYRX344DWJX7WX2XWTWQ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lifted Variable Elimination: A Novel Operator and Completeness Results","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Daan Fierens, Guy Van den Broeck, Hendrik Blockeel, Jesse Davis, Nima Taghipour","submitted_at":"2012-08-19T04:55:25Z","abstract_excerpt":"Various methods for lifted probabilistic inference have been proposed, but our understanding of these methods and the relationships between them is still limited, compared to their propositional counterparts. The only existing theoretical characterization of lifting is for weighted first-order model counting (WFOMC), which was shown to be complete domain-lifted for the class of 2-logvar models. This paper makes two contributions to lifted variable elimination (LVE). First, we introduce a novel inference operator called group inversion. Second, we prove that LVE augmented with this operator is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.3809","kind":"arxiv","version":2},"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-18T03:47:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SgcH5HBZDWsIedBakoEj8UUl3hCt0bapbzRCxkwgicZRF+2K3x1NGlHD/Q0jul233fuBufXrB9M699ZvmSjeBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:04:30.795308Z"},"content_sha256":"c24458841557ef43577379270c60775a30ada43282e09eae1765b9461faefc40","schema_version":"1.0","event_id":"sha256:c24458841557ef43577379270c60775a30ada43282e09eae1765b9461faefc40"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YGG5GPYRX344DWJX7WX2XWTWQ6/bundle.json","state_url":"https://pith.science/pith/YGG5GPYRX344DWJX7WX2XWTWQ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YGG5GPYRX344DWJX7WX2XWTWQ6/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-02T03:04:30Z","links":{"resolver":"https://pith.science/pith/YGG5GPYRX344DWJX7WX2XWTWQ6","bundle":"https://pith.science/pith/YGG5GPYRX344DWJX7WX2XWTWQ6/bundle.json","state":"https://pith.science/pith/YGG5GPYRX344DWJX7WX2XWTWQ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YGG5GPYRX344DWJX7WX2XWTWQ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:YGG5GPYRX344DWJX7WX2XWTWQ6","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":"2210ab6131b0c1c3ef01be4f3ed7bd568e509800ae751959237e9403e49c3d32","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-08-19T04:55:25Z","title_canon_sha256":"0d22fd47fdcc30d592f91c34b6b1b0547d5a5c3b28f9c71261dae49c7b010924"},"schema_version":"1.0","source":{"id":"1208.3809","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.3809","created_at":"2026-05-18T03:47:52Z"},{"alias_kind":"arxiv_version","alias_value":"1208.3809v2","created_at":"2026-05-18T03:47:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.3809","created_at":"2026-05-18T03:47:52Z"},{"alias_kind":"pith_short_12","alias_value":"YGG5GPYRX344","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"YGG5GPYRX344DWJX","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"YGG5GPYR","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:c24458841557ef43577379270c60775a30ada43282e09eae1765b9461faefc40","target":"graph","created_at":"2026-05-18T03:47:52Z","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":"Various methods for lifted probabilistic inference have been proposed, but our understanding of these methods and the relationships between them is still limited, compared to their propositional counterparts. The only existing theoretical characterization of lifting is for weighted first-order model counting (WFOMC), which was shown to be complete domain-lifted for the class of 2-logvar models. This paper makes two contributions to lifted variable elimination (LVE). First, we introduce a novel inference operator called group inversion. Second, we prove that LVE augmented with this operator is ","authors_text":"Daan Fierens, Guy Van den Broeck, Hendrik Blockeel, Jesse Davis, Nima Taghipour","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-08-19T04:55:25Z","title":"Lifted Variable Elimination: A Novel Operator and Completeness Results"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.3809","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:8d03d1573b08daeba6a5821dc5942835439fdcd6ef9399c50fd5e152c7504436","target":"record","created_at":"2026-05-18T03:47:52Z","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":"2210ab6131b0c1c3ef01be4f3ed7bd568e509800ae751959237e9403e49c3d32","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-08-19T04:55:25Z","title_canon_sha256":"0d22fd47fdcc30d592f91c34b6b1b0547d5a5c3b28f9c71261dae49c7b010924"},"schema_version":"1.0","source":{"id":"1208.3809","kind":"arxiv","version":2}},"canonical_sha256":"c18dd33f11bef9c1d937fdafabda76878d93a328fd81ef21c9bc24f6397104c7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c18dd33f11bef9c1d937fdafabda76878d93a328fd81ef21c9bc24f6397104c7","first_computed_at":"2026-05-18T03:47:52.441744Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:47:52.441744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y6SWdxS2NsNIc0cJ9uPA+DFL5pwgY45QWq4aQyC5vJ6W/4AliAzse3sH1c0h0akJ6iBiYtCz8mf7GvuOEJyYBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:47:52.442560Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.3809","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d03d1573b08daeba6a5821dc5942835439fdcd6ef9399c50fd5e152c7504436","sha256:c24458841557ef43577379270c60775a30ada43282e09eae1765b9461faefc40"],"state_sha256":"a323e0a30015aef5ea1fd3172a777e3b6379119bd7b854eb4eed428f4e6e7546"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mOX/qwfCq1jGK9pcmeO5k1Ymb0cOpAtqpcX9TTu4Imutf3T9TbEBi28gl5jzi1RXzio+VGnzZ1ZX6Ogh8vveCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:04:30.797165Z","bundle_sha256":"62b85d2429bc289ff37b70fcfa257449ef57eee743141b99308b68fc276135cf"}}