{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:M2MTKWGSSAJYZO2AQF3X7KJC6K","short_pith_number":"pith:M2MTKWGS","canonical_record":{"source":{"id":"1205.2616","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-05-09T18:27:56Z","cross_cats_sorted":[],"title_canon_sha256":"7724f772e0cac01daf3a8af697886394944bfc631f1f834a57ac689007350367","abstract_canon_sha256":"61b6bf459357af1591538051fc6597a86f4365c9ae146be993a264bcd56bc09a"},"schema_version":"1.0"},"canonical_sha256":"66993558d290138cbb4081777fa922f2820e532cab017f00ce4360ead273ab53","source":{"kind":"arxiv","id":"1205.2616","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.2616","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"arxiv_version","alias_value":"1205.2616v1","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2616","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"pith_short_12","alias_value":"M2MTKWGSSAJY","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"M2MTKWGSSAJYZO2A","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"M2MTKWGS","created_at":"2026-05-18T12:27:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:M2MTKWGSSAJYZO2AQF3X7KJC6K","target":"record","payload":{"canonical_record":{"source":{"id":"1205.2616","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-05-09T18:27:56Z","cross_cats_sorted":[],"title_canon_sha256":"7724f772e0cac01daf3a8af697886394944bfc631f1f834a57ac689007350367","abstract_canon_sha256":"61b6bf459357af1591538051fc6597a86f4365c9ae146be993a264bcd56bc09a"},"schema_version":"1.0"},"canonical_sha256":"66993558d290138cbb4081777fa922f2820e532cab017f00ce4360ead273ab53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:47.897808Z","signature_b64":"6oOickx7FOOC9bpEtGiflgbTU3zLnCN6RSXdDVw9B0tHPDeS9r+UiCGO4tZLcb27oVeZVr6pE9V4l7q2rfNFBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"66993558d290138cbb4081777fa922f2820e532cab017f00ce4360ead273ab53","last_reissued_at":"2026-05-18T03:55:47.897448Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:47.897448Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.2616","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:55:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h3r/dNYUUwKgJdt2ql5U5NWW0tMue+95GxulvYuTyWvETNzPzil2ypmNRiGdy7zcTLAcCvlZYCnU9dj9G/jkCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T03:10:47.757217Z"},"content_sha256":"955679c29f094a440ebe8acd570f82e6458afb949263d07c4e3a5c7aad8644be","schema_version":"1.0","event_id":"sha256:955679c29f094a440ebe8acd570f82e6458afb949263d07c4e3a5c7aad8644be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:M2MTKWGSSAJYZO2AQF3X7KJC6K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bisimulation-based Approximate Lifted Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Amol Deshpande, Lise Getoor, Prithviraj Sen","submitted_at":"2012-05-09T18:27:56Z","abstract_excerpt":"There has been a great deal of recent interest in methods for performing lifted inference; however, most of this work assumes that the first-order model is given as input to the system. Here, we describe lifted inference algorithms that determine symmetries and automatically lift the probabilistic model to speedup inference. In particular, we describe approximate lifted inference techniques that allow the user to trade off inference accuracy for computational efficiency by using a handful of tunable parameters, while keeping the error bounded. Our algorithms are closely related to the graph-th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2616","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:55:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s5Vpo7QjZlNvDAiq906rXe9IpOWMzSIYjuEuGWW53RjcqybXUu/s2HRrBk/YIZbxy7Rx3detRmEBRSzaYU1eAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T03:10:47.757585Z"},"content_sha256":"d8210f1f1eaa8c12db083afb3168a4c702db57de703874bb00a35694afc3a728","schema_version":"1.0","event_id":"sha256:d8210f1f1eaa8c12db083afb3168a4c702db57de703874bb00a35694afc3a728"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K/bundle.json","state_url":"https://pith.science/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K/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-03T03:10:47Z","links":{"resolver":"https://pith.science/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K","bundle":"https://pith.science/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K/bundle.json","state":"https://pith.science/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M2MTKWGSSAJYZO2AQF3X7KJC6K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:M2MTKWGSSAJYZO2AQF3X7KJC6K","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":"61b6bf459357af1591538051fc6597a86f4365c9ae146be993a264bcd56bc09a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-05-09T18:27:56Z","title_canon_sha256":"7724f772e0cac01daf3a8af697886394944bfc631f1f834a57ac689007350367"},"schema_version":"1.0","source":{"id":"1205.2616","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.2616","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"arxiv_version","alias_value":"1205.2616v1","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2616","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"pith_short_12","alias_value":"M2MTKWGSSAJY","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"M2MTKWGSSAJYZO2A","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"M2MTKWGS","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:d8210f1f1eaa8c12db083afb3168a4c702db57de703874bb00a35694afc3a728","target":"graph","created_at":"2026-05-18T03:55:47Z","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":"There has been a great deal of recent interest in methods for performing lifted inference; however, most of this work assumes that the first-order model is given as input to the system. Here, we describe lifted inference algorithms that determine symmetries and automatically lift the probabilistic model to speedup inference. In particular, we describe approximate lifted inference techniques that allow the user to trade off inference accuracy for computational efficiency by using a handful of tunable parameters, while keeping the error bounded. Our algorithms are closely related to the graph-th","authors_text":"Amol Deshpande, Lise Getoor, Prithviraj Sen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-05-09T18:27:56Z","title":"Bisimulation-based Approximate Lifted Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2616","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:955679c29f094a440ebe8acd570f82e6458afb949263d07c4e3a5c7aad8644be","target":"record","created_at":"2026-05-18T03:55:47Z","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":"61b6bf459357af1591538051fc6597a86f4365c9ae146be993a264bcd56bc09a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-05-09T18:27:56Z","title_canon_sha256":"7724f772e0cac01daf3a8af697886394944bfc631f1f834a57ac689007350367"},"schema_version":"1.0","source":{"id":"1205.2616","kind":"arxiv","version":1}},"canonical_sha256":"66993558d290138cbb4081777fa922f2820e532cab017f00ce4360ead273ab53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"66993558d290138cbb4081777fa922f2820e532cab017f00ce4360ead273ab53","first_computed_at":"2026-05-18T03:55:47.897448Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:47.897448Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6oOickx7FOOC9bpEtGiflgbTU3zLnCN6RSXdDVw9B0tHPDeS9r+UiCGO4tZLcb27oVeZVr6pE9V4l7q2rfNFBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:47.897808Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.2616","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:955679c29f094a440ebe8acd570f82e6458afb949263d07c4e3a5c7aad8644be","sha256:d8210f1f1eaa8c12db083afb3168a4c702db57de703874bb00a35694afc3a728"],"state_sha256":"0ee59f84f4fec710cdd2bcdf86605b2e873ad55b3435ad3de168f516ff1f4034"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ryGN44Ix3KGO1tES8UDlvs4g3VRF3BV0fJUFza8YerUImGO86PehVIdoLtChVkxtYSpTJL5DtEK2QntUCIJqDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T03:10:47.759530Z","bundle_sha256":"0752ee4de9cc2552a3483ae3a8f661fde2e865461f2803f7c2c37710fc9d17c3"}}