{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:DMTH7KWNKW3C6Y7ZMRKCRFWQAC","short_pith_number":"pith:DMTH7KWN","canonical_record":{"source":{"id":"1402.0565","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:35:39Z","cross_cats_sorted":[],"title_canon_sha256":"6128a736731c9c3ec6eee6914bd6b65581470bbc9197c8d62aeab7d6f54052fd","abstract_canon_sha256":"7b99a0fdfde4f89795d52f2a4dd83d69564de05ca9b84259c6c911294f59341e"},"schema_version":"1.0"},"canonical_sha256":"1b267faacd55b62f63f964542896d000bb788f62aeb4d5018524db9f0cf6eaaa","source":{"kind":"arxiv","id":"1402.0565","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0565","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0565v1","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0565","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"DMTH7KWNKW3C","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DMTH7KWNKW3C6Y7Z","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DMTH7KWN","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:DMTH7KWNKW3C6Y7ZMRKCRFWQAC","target":"record","payload":{"canonical_record":{"source":{"id":"1402.0565","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:35:39Z","cross_cats_sorted":[],"title_canon_sha256":"6128a736731c9c3ec6eee6914bd6b65581470bbc9197c8d62aeab7d6f54052fd","abstract_canon_sha256":"7b99a0fdfde4f89795d52f2a4dd83d69564de05ca9b84259c6c911294f59341e"},"schema_version":"1.0"},"canonical_sha256":"1b267faacd55b62f63f964542896d000bb788f62aeb4d5018524db9f0cf6eaaa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:00:13.893110Z","signature_b64":"/OTKj+c8P46kNIE73tS2ojWd4z4EZShT+RDY5Q4S1gZ8O9j78aFdq6WA3Nwe1LWfBCosntwL8wt+LuAGiX8PAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b267faacd55b62f63f964542896d000bb788f62aeb4d5018524db9f0cf6eaaa","last_reissued_at":"2026-05-18T03:00:13.892398Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:00:13.892398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.0565","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-18T03:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iT4fJIf9sx4R5g3f5gpWBxl7PMkRvTNZoU0TY+u1m8lxBJMMr4kn+qA2UyMR4jgHZwrrsFEYViZVJnGSQXoYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T21:14:28.342894Z"},"content_sha256":"1bcb88e16e0fac428d0642acff0f3eec1e4d982d88f13bb600dda6c6e781e8cf","schema_version":"1.0","event_id":"sha256:1bcb88e16e0fac428d0642acff0f3eec1e4d982d88f13bb600dda6c6e781e8cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:DMTH7KWNKW3C6Y7ZMRKCRFWQAC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lifted Variable Elimination: Decoupling the Operators from the Constraint Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Daan Fierens, Hendrik Blockeel, Jesse Davis, Nima Taghipour","submitted_at":"2014-02-04T01:35:39Z","abstract_excerpt":"Lifted probabilistic inference algorithms exploit regularities in the structure of graphical models to perform inference more efficiently. More specifically, they identify groups of interchangeable variables and perform inference once per group, as opposed to once per variable. The groups are defined by means of constraints, so the flexibility of the grouping is determined by the expressivity of the constraint language. Existing approaches for exact lifted inference use specific languages for (in)equality constraints, which often have limited expressivity. In this article, we decouple lifted i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0565","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-18T03:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wfnd5c8DKROXw637gJV9MR874vMExiXmj6KKnQm7w164hYXgBjFRwG65NsroxjIIXlJ1YFfsEoG4TtjcjERKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T21:14:28.343535Z"},"content_sha256":"0c1fdb5e593484d2fd8fbc208c2af579a450ba5ccec17b7a6cfa49f09b8cef4e","schema_version":"1.0","event_id":"sha256:0c1fdb5e593484d2fd8fbc208c2af579a450ba5ccec17b7a6cfa49f09b8cef4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC/bundle.json","state_url":"https://pith.science/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC/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-05-31T21:14:28Z","links":{"resolver":"https://pith.science/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC","bundle":"https://pith.science/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC/bundle.json","state":"https://pith.science/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DMTH7KWNKW3C6Y7ZMRKCRFWQAC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:DMTH7KWNKW3C6Y7ZMRKCRFWQAC","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":"7b99a0fdfde4f89795d52f2a4dd83d69564de05ca9b84259c6c911294f59341e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:35:39Z","title_canon_sha256":"6128a736731c9c3ec6eee6914bd6b65581470bbc9197c8d62aeab7d6f54052fd"},"schema_version":"1.0","source":{"id":"1402.0565","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0565","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0565v1","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0565","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"DMTH7KWNKW3C","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DMTH7KWNKW3C6Y7Z","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DMTH7KWN","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:0c1fdb5e593484d2fd8fbc208c2af579a450ba5ccec17b7a6cfa49f09b8cef4e","target":"graph","created_at":"2026-05-18T03:00:13Z","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":"Lifted probabilistic inference algorithms exploit regularities in the structure of graphical models to perform inference more efficiently. More specifically, they identify groups of interchangeable variables and perform inference once per group, as opposed to once per variable. The groups are defined by means of constraints, so the flexibility of the grouping is determined by the expressivity of the constraint language. Existing approaches for exact lifted inference use specific languages for (in)equality constraints, which often have limited expressivity. In this article, we decouple lifted i","authors_text":"Daan Fierens, Hendrik Blockeel, Jesse Davis, Nima Taghipour","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:35:39Z","title":"Lifted Variable Elimination: Decoupling the Operators from the Constraint Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0565","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:1bcb88e16e0fac428d0642acff0f3eec1e4d982d88f13bb600dda6c6e781e8cf","target":"record","created_at":"2026-05-18T03:00:13Z","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":"7b99a0fdfde4f89795d52f2a4dd83d69564de05ca9b84259c6c911294f59341e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:35:39Z","title_canon_sha256":"6128a736731c9c3ec6eee6914bd6b65581470bbc9197c8d62aeab7d6f54052fd"},"schema_version":"1.0","source":{"id":"1402.0565","kind":"arxiv","version":1}},"canonical_sha256":"1b267faacd55b62f63f964542896d000bb788f62aeb4d5018524db9f0cf6eaaa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b267faacd55b62f63f964542896d000bb788f62aeb4d5018524db9f0cf6eaaa","first_computed_at":"2026-05-18T03:00:13.892398Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:00:13.892398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/OTKj+c8P46kNIE73tS2ojWd4z4EZShT+RDY5Q4S1gZ8O9j78aFdq6WA3Nwe1LWfBCosntwL8wt+LuAGiX8PAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:00:13.893110Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.0565","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bcb88e16e0fac428d0642acff0f3eec1e4d982d88f13bb600dda6c6e781e8cf","sha256:0c1fdb5e593484d2fd8fbc208c2af579a450ba5ccec17b7a6cfa49f09b8cef4e"],"state_sha256":"18c6d9ce15261ee9840077a8eb73baa957133c51afa97acb276f457722743d24"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E+NrkKW6JQaS1d6mI6gGBRg8Akc6+DsEcJsgWomyAUJ1ifplmymbgQEH4EBTN+acOlAE53zsbZn0HpZYcN24Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T21:14:28.347456Z","bundle_sha256":"8936f578a22312addf737765ea2a8d9c250d189e210977d199e5493128bc766a"}}