{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JE2NEK7E6N65HBG4PKFSX77QPY","short_pith_number":"pith:JE2NEK7E","canonical_record":{"source":{"id":"1304.4379","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-16T09:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"7a4b593654def60227440105f78fba6739b15e459f144cc2ccc8b290227f25ad","abstract_canon_sha256":"306b47f556035ad8515dd944cb3f22ca04ee7774733a0daf01886a99ae2687ea"},"schema_version":"1.0"},"canonical_sha256":"4934d22be4f37dd384dc7a8b2bfff07e28a6399ddaf975699b25b289ea5b3be6","source":{"kind":"arxiv","id":"1304.4379","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4379","created_at":"2026-05-18T03:26:52Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4379v2","created_at":"2026-05-18T03:26:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4379","created_at":"2026-05-18T03:26:52Z"},{"alias_kind":"pith_short_12","alias_value":"JE2NEK7E6N65","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JE2NEK7E6N65HBG4","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JE2NEK7E","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JE2NEK7E6N65HBG4PKFSX77QPY","target":"record","payload":{"canonical_record":{"source":{"id":"1304.4379","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-16T09:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"7a4b593654def60227440105f78fba6739b15e459f144cc2ccc8b290227f25ad","abstract_canon_sha256":"306b47f556035ad8515dd944cb3f22ca04ee7774733a0daf01886a99ae2687ea"},"schema_version":"1.0"},"canonical_sha256":"4934d22be4f37dd384dc7a8b2bfff07e28a6399ddaf975699b25b289ea5b3be6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:26:52.013285Z","signature_b64":"cumsZuRNAT+jcxLq1J5amq5weKdmLxmlFa8bWKxLPedfbcEA5yVMRMZiturKfPt2HFH1gfN8+PBJDePAAbisAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4934d22be4f37dd384dc7a8b2bfff07e28a6399ddaf975699b25b289ea5b3be6","last_reissued_at":"2026-05-18T03:26:52.012799Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:26:52.012799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.4379","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:26:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pu38Wh6Y2rNgD0U1bTSirWqT6cNWHMtRToWmkolSK0OJ4C4WF6he2x5+a3pnWWV9Lz4BwGGuR3E4ob1MjI6nDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:35:26.772692Z"},"content_sha256":"a3b05d3caa5e430e60dc69413dc2e78027812e7697699fe4e3932ee5f4a5a4dd","schema_version":"1.0","event_id":"sha256:a3b05d3caa5e430e60dc69413dc2e78027812e7697699fe4e3932ee5f4a5a4dd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JE2NEK7E6N65HBG4PKFSX77QPY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Heiner Stuckenschmidt, Jan Noessner, Mathias Niepert","submitted_at":"2013-04-16T09:29:58Z","abstract_excerpt":"RockIt is a maximum a-posteriori (MAP) query engine for statistical relational models. MAP inference in graphical models is an optimization problem which can be compiled to integer linear programs (ILPs). We describe several advances in translating MAP queries to ILP instances and present the novel meta-algorithm cutting plane aggregation (CPA). CPA exploits local context-specific symmetries and bundles up sets of linear constraints. The resulting counting constraints lead to more compact ILPs and make the symmetry of the ground model more explicit to state-of-the-art ILP solvers. Moreover, Ro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4379","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:26:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BfrP/M9FOWie3z9tK9R9CJaL8cR/L/Qm6OAtnvgdOlyFqfIqwebWcOo43YW7u0lr6/vZMgpWhiUnKUshqstADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:35:26.773028Z"},"content_sha256":"344d8adb349febfc76ee46e31d9b51e9a743629caa8843affefa2b695d52d578","schema_version":"1.0","event_id":"sha256:344d8adb349febfc76ee46e31d9b51e9a743629caa8843affefa2b695d52d578"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JE2NEK7E6N65HBG4PKFSX77QPY/bundle.json","state_url":"https://pith.science/pith/JE2NEK7E6N65HBG4PKFSX77QPY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JE2NEK7E6N65HBG4PKFSX77QPY/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-03T06:35:26Z","links":{"resolver":"https://pith.science/pith/JE2NEK7E6N65HBG4PKFSX77QPY","bundle":"https://pith.science/pith/JE2NEK7E6N65HBG4PKFSX77QPY/bundle.json","state":"https://pith.science/pith/JE2NEK7E6N65HBG4PKFSX77QPY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JE2NEK7E6N65HBG4PKFSX77QPY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JE2NEK7E6N65HBG4PKFSX77QPY","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":"306b47f556035ad8515dd944cb3f22ca04ee7774733a0daf01886a99ae2687ea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-16T09:29:58Z","title_canon_sha256":"7a4b593654def60227440105f78fba6739b15e459f144cc2ccc8b290227f25ad"},"schema_version":"1.0","source":{"id":"1304.4379","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4379","created_at":"2026-05-18T03:26:52Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4379v2","created_at":"2026-05-18T03:26:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4379","created_at":"2026-05-18T03:26:52Z"},{"alias_kind":"pith_short_12","alias_value":"JE2NEK7E6N65","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JE2NEK7E6N65HBG4","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JE2NEK7E","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:344d8adb349febfc76ee46e31d9b51e9a743629caa8843affefa2b695d52d578","target":"graph","created_at":"2026-05-18T03:26: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":"RockIt is a maximum a-posteriori (MAP) query engine for statistical relational models. MAP inference in graphical models is an optimization problem which can be compiled to integer linear programs (ILPs). We describe several advances in translating MAP queries to ILP instances and present the novel meta-algorithm cutting plane aggregation (CPA). CPA exploits local context-specific symmetries and bundles up sets of linear constraints. The resulting counting constraints lead to more compact ILPs and make the symmetry of the ground model more explicit to state-of-the-art ILP solvers. Moreover, Ro","authors_text":"Heiner Stuckenschmidt, Jan Noessner, Mathias Niepert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-16T09:29:58Z","title":"RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4379","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:a3b05d3caa5e430e60dc69413dc2e78027812e7697699fe4e3932ee5f4a5a4dd","target":"record","created_at":"2026-05-18T03:26: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":"306b47f556035ad8515dd944cb3f22ca04ee7774733a0daf01886a99ae2687ea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-16T09:29:58Z","title_canon_sha256":"7a4b593654def60227440105f78fba6739b15e459f144cc2ccc8b290227f25ad"},"schema_version":"1.0","source":{"id":"1304.4379","kind":"arxiv","version":2}},"canonical_sha256":"4934d22be4f37dd384dc7a8b2bfff07e28a6399ddaf975699b25b289ea5b3be6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4934d22be4f37dd384dc7a8b2bfff07e28a6399ddaf975699b25b289ea5b3be6","first_computed_at":"2026-05-18T03:26:52.012799Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:26:52.012799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cumsZuRNAT+jcxLq1J5amq5weKdmLxmlFa8bWKxLPedfbcEA5yVMRMZiturKfPt2HFH1gfN8+PBJDePAAbisAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:26:52.013285Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.4379","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3b05d3caa5e430e60dc69413dc2e78027812e7697699fe4e3932ee5f4a5a4dd","sha256:344d8adb349febfc76ee46e31d9b51e9a743629caa8843affefa2b695d52d578"],"state_sha256":"6ce1ffa759adaa46ed67074ddfd60f38f5a8a80f97aa0728de2977ca31c3b270"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P3keUWR/KRHE6vOg9+cXVQ+q1hPAjrA5YkPgdz6v5D8RQNgsd6V204PnKRLxa4OsT4o97DFD67679vwIzOc5DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:35:26.774958Z","bundle_sha256":"1b9bcbf23d831bd802a6d49851e4835d30fd0659d9155c5fba2b84d35c8621cc"}}