{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:2LWPWJQZZAFNFQI6DC6QSLXP3Z","short_pith_number":"pith:2LWPWJQZ","canonical_record":{"source":{"id":"1107.4035","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-20T17:04:12Z","cross_cats_sorted":[],"title_canon_sha256":"8d2c181f383f20440e6ad24cd05a539e9136c9c48b05d1874fa2466f66877e3d","abstract_canon_sha256":"00c5d54689cc4ff3d589ec63aee6ffa2af7e592e83e91e12a4706d28e464b35f"},"schema_version":"1.0"},"canonical_sha256":"d2ecfb2619c80ad2c11e18bd092eefde40d12aa5fe3326b57e4019c8b6347eb7","source":{"kind":"arxiv","id":"1107.4035","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.4035","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"1107.4035v2","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.4035","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"2LWPWJQZZAFN","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"2LWPWJQZZAFNFQI6","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"2LWPWJQZ","created_at":"2026-05-18T12:26:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:2LWPWJQZZAFNFQI6DC6QSLXP3Z","target":"record","payload":{"canonical_record":{"source":{"id":"1107.4035","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-20T17:04:12Z","cross_cats_sorted":[],"title_canon_sha256":"8d2c181f383f20440e6ad24cd05a539e9136c9c48b05d1874fa2466f66877e3d","abstract_canon_sha256":"00c5d54689cc4ff3d589ec63aee6ffa2af7e592e83e91e12a4706d28e464b35f"},"schema_version":"1.0"},"canonical_sha256":"d2ecfb2619c80ad2c11e18bd092eefde40d12aa5fe3326b57e4019c8b6347eb7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:17:13.235882Z","signature_b64":"k/CDbOVI+aK3fxgcxDLAqa+XUvEEAmVWFUIvG/FyVyiQiKFaOrgzTG2AKVx/Sjdnd9OAnn5Gcd7nVeVp/uPFAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2ecfb2619c80ad2c11e18bd092eefde40d12aa5fe3326b57e4019c8b6347eb7","last_reissued_at":"2026-05-18T04:17:13.235268Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:17:13.235268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.4035","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-18T04:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GJ+KV5rhNM62XSth9O74/ig4ON8LJrY3kZ5o+ItmldS5bEcemn6hIfM8Bfyy22l/mzQGVJxede7iE6/rRj6SCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:19:25.905471Z"},"content_sha256":"983832162827988f19aa495e6d39c8eb4659104651697d429c7a3853ace5c7be","schema_version":"1.0","event_id":"sha256:983832162827988f19aa495e6d39c8eb4659104651697d429c7a3853ace5c7be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:2LWPWJQZZAFNFQI6DC6QSLXP3Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Completely Lifted Search-based Probabilistic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"David Poole, Fahiem Bacchus, Jacek Kisynski","submitted_at":"2011-07-20T17:04:12Z","abstract_excerpt":"The promise of lifted probabilistic inference is to carry out probabilistic inference in a relational probabilistic model without needing to reason about each individual separately (grounding out the representation) by treating the undistinguished individuals as a block. Current exact methods still need to ground out in some cases, typically because the representation of the intermediate results is not closed under the lifted operations. We set out to answer the question as to whether there is some fundamental reason why lifted algorithms would need to ground out undifferentiated individuals. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.4035","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-18T04:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HrQukXD0LSx8008FinkORKdok1I26a4yL+7lZ6EsS6RCkEmviok8aIWrM/vQSQ2OvPVEy6KwZPItEhU6T8llDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:19:25.905814Z"},"content_sha256":"46b7350996f0b82263c0b267668692daae09992efff9fe63a7321afd4eed1249","schema_version":"1.0","event_id":"sha256:46b7350996f0b82263c0b267668692daae09992efff9fe63a7321afd4eed1249"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z/bundle.json","state_url":"https://pith.science/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z/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-01T08:19:25Z","links":{"resolver":"https://pith.science/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z","bundle":"https://pith.science/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z/bundle.json","state":"https://pith.science/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2LWPWJQZZAFNFQI6DC6QSLXP3Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:2LWPWJQZZAFNFQI6DC6QSLXP3Z","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":"00c5d54689cc4ff3d589ec63aee6ffa2af7e592e83e91e12a4706d28e464b35f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-20T17:04:12Z","title_canon_sha256":"8d2c181f383f20440e6ad24cd05a539e9136c9c48b05d1874fa2466f66877e3d"},"schema_version":"1.0","source":{"id":"1107.4035","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.4035","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"1107.4035v2","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.4035","created_at":"2026-05-18T04:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"2LWPWJQZZAFN","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"2LWPWJQZZAFNFQI6","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"2LWPWJQZ","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:46b7350996f0b82263c0b267668692daae09992efff9fe63a7321afd4eed1249","target":"graph","created_at":"2026-05-18T04:17: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":"The promise of lifted probabilistic inference is to carry out probabilistic inference in a relational probabilistic model without needing to reason about each individual separately (grounding out the representation) by treating the undistinguished individuals as a block. Current exact methods still need to ground out in some cases, typically because the representation of the intermediate results is not closed under the lifted operations. We set out to answer the question as to whether there is some fundamental reason why lifted algorithms would need to ground out undifferentiated individuals. ","authors_text":"David Poole, Fahiem Bacchus, Jacek Kisynski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-20T17:04:12Z","title":"Towards Completely Lifted Search-based Probabilistic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.4035","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:983832162827988f19aa495e6d39c8eb4659104651697d429c7a3853ace5c7be","target":"record","created_at":"2026-05-18T04:17: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":"00c5d54689cc4ff3d589ec63aee6ffa2af7e592e83e91e12a4706d28e464b35f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-20T17:04:12Z","title_canon_sha256":"8d2c181f383f20440e6ad24cd05a539e9136c9c48b05d1874fa2466f66877e3d"},"schema_version":"1.0","source":{"id":"1107.4035","kind":"arxiv","version":2}},"canonical_sha256":"d2ecfb2619c80ad2c11e18bd092eefde40d12aa5fe3326b57e4019c8b6347eb7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d2ecfb2619c80ad2c11e18bd092eefde40d12aa5fe3326b57e4019c8b6347eb7","first_computed_at":"2026-05-18T04:17:13.235268Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:17:13.235268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k/CDbOVI+aK3fxgcxDLAqa+XUvEEAmVWFUIvG/FyVyiQiKFaOrgzTG2AKVx/Sjdnd9OAnn5Gcd7nVeVp/uPFAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:17:13.235882Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.4035","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:983832162827988f19aa495e6d39c8eb4659104651697d429c7a3853ace5c7be","sha256:46b7350996f0b82263c0b267668692daae09992efff9fe63a7321afd4eed1249"],"state_sha256":"8f0f5798c75f2cdff08c83754860e24be9fc75e1a7f2b179fde708f9e01467dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7ql3PCfKwAC6pWmPd+ETaIkCFttVCOwJKd1I+oFr2moChByNlgq3NeesiiFQCP4q/IRCK1F8LG0uUTDcPC/NBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T08:19:25.907718Z","bundle_sha256":"c9507ae213dfcb866b3177c1892999400fa2def39dac3497ffb9ba4011afdef9"}}