{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JH7OFDOAD7GHJBNTB25IJPM4JQ","short_pith_number":"pith:JH7OFDOA","canonical_record":{"source":{"id":"1405.6369","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-25T10:13:50Z","cross_cats_sorted":[],"title_canon_sha256":"51e45e24f067698ab04a2a573ea1ccecc9776d3a20381a4b95df5d9641a45574","abstract_canon_sha256":"e007a346f1aad47a0cb448ce5441e8852e0495f54a984006bc36b74c60bb68ba"},"schema_version":"1.0"},"canonical_sha256":"49fee28dc01fcc7485b30eba84bd9c4c272c177e810205ebaabfe633a91f21ac","source":{"kind":"arxiv","id":"1405.6369","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.6369","created_at":"2026-05-18T02:51:07Z"},{"alias_kind":"arxiv_version","alias_value":"1405.6369v1","created_at":"2026-05-18T02:51:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.6369","created_at":"2026-05-18T02:51:07Z"},{"alias_kind":"pith_short_12","alias_value":"JH7OFDOAD7GH","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JH7OFDOAD7GHJBNT","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JH7OFDOA","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JH7OFDOAD7GHJBNTB25IJPM4JQ","target":"record","payload":{"canonical_record":{"source":{"id":"1405.6369","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-25T10:13:50Z","cross_cats_sorted":[],"title_canon_sha256":"51e45e24f067698ab04a2a573ea1ccecc9776d3a20381a4b95df5d9641a45574","abstract_canon_sha256":"e007a346f1aad47a0cb448ce5441e8852e0495f54a984006bc36b74c60bb68ba"},"schema_version":"1.0"},"canonical_sha256":"49fee28dc01fcc7485b30eba84bd9c4c272c177e810205ebaabfe633a91f21ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:07.427635Z","signature_b64":"4SqVSkLKMZTsOCmWFFiQZ5Bn/w+LUNoLX3GaQaakjZUN7GHdTpqAX+q4bj1QHhwDj994jnPfw2pvFRaM7GWBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49fee28dc01fcc7485b30eba84bd9c4c272c177e810205ebaabfe633a91f21ac","last_reissued_at":"2026-05-18T02:51:07.427136Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:07.427136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.6369","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-18T02:51:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"38GnwOyAgylvuRlCiIWcS9pikme1Jat8N4q2CtTOBVhOkavlebKAh1rrn8Oh2W6ImqIgSjdD2qmEbNbjU8U9Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T19:59:25.176618Z"},"content_sha256":"5cd3e5216ae02641b5fb36f84cf13db8a89e6c3160c464d3b4144e2572e94da0","schema_version":"1.0","event_id":"sha256:5cd3e5216ae02641b5fb36f84cf13db8a89e6c3160c464d3b4144e2572e94da0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JH7OFDOAD7GHJBNTB25IJPM4JQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HEPGAME and the Simplification of Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Aske Plaat, Ben Ruijl, Jaap van den Herik, Jos Vermaseren","submitted_at":"2014-05-25T10:13:50Z","abstract_excerpt":"Advances in high energy physics have created the need to increase computational capacity. Project HEPGAME was composed to address this challenge. One of the issues is that numerical integration of expressions of current interest have millions of terms and takes weeks to compute. We have investigated ways to simplify these expressions, using Horner schemes and common subexpression elimination. Our approach applies MCTS, a search procedure that has been successful in AI. We use it to find near-optimal Horner schemes. Although MCTS finds better solutions, this approach gives rise to two further c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.6369","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-18T02:51:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f7LtxoEGFGyrd5sRaPWjBOKnY1fu4R9fKLIxnkV/y2E+3cTzhhjvE2xTY/NwU7KMYyNaO4oDjeop38CxATtTBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T19:59:25.176959Z"},"content_sha256":"fa88ceae391a0939ee82dd3cb5b01cbc04bce3da896059a8fa9a9a67cedbf939","schema_version":"1.0","event_id":"sha256:fa88ceae391a0939ee82dd3cb5b01cbc04bce3da896059a8fa9a9a67cedbf939"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ/bundle.json","state_url":"https://pith.science/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ/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-27T19:59:25Z","links":{"resolver":"https://pith.science/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ","bundle":"https://pith.science/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ/bundle.json","state":"https://pith.science/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JH7OFDOAD7GHJBNTB25IJPM4JQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JH7OFDOAD7GHJBNTB25IJPM4JQ","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":"e007a346f1aad47a0cb448ce5441e8852e0495f54a984006bc36b74c60bb68ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-25T10:13:50Z","title_canon_sha256":"51e45e24f067698ab04a2a573ea1ccecc9776d3a20381a4b95df5d9641a45574"},"schema_version":"1.0","source":{"id":"1405.6369","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.6369","created_at":"2026-05-18T02:51:07Z"},{"alias_kind":"arxiv_version","alias_value":"1405.6369v1","created_at":"2026-05-18T02:51:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.6369","created_at":"2026-05-18T02:51:07Z"},{"alias_kind":"pith_short_12","alias_value":"JH7OFDOAD7GH","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JH7OFDOAD7GHJBNT","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JH7OFDOA","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:fa88ceae391a0939ee82dd3cb5b01cbc04bce3da896059a8fa9a9a67cedbf939","target":"graph","created_at":"2026-05-18T02:51:07Z","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":"Advances in high energy physics have created the need to increase computational capacity. Project HEPGAME was composed to address this challenge. One of the issues is that numerical integration of expressions of current interest have millions of terms and takes weeks to compute. We have investigated ways to simplify these expressions, using Horner schemes and common subexpression elimination. Our approach applies MCTS, a search procedure that has been successful in AI. We use it to find near-optimal Horner schemes. Although MCTS finds better solutions, this approach gives rise to two further c","authors_text":"Aske Plaat, Ben Ruijl, Jaap van den Herik, Jos Vermaseren","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-25T10:13:50Z","title":"HEPGAME and the Simplification of Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.6369","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:5cd3e5216ae02641b5fb36f84cf13db8a89e6c3160c464d3b4144e2572e94da0","target":"record","created_at":"2026-05-18T02:51:07Z","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":"e007a346f1aad47a0cb448ce5441e8852e0495f54a984006bc36b74c60bb68ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-25T10:13:50Z","title_canon_sha256":"51e45e24f067698ab04a2a573ea1ccecc9776d3a20381a4b95df5d9641a45574"},"schema_version":"1.0","source":{"id":"1405.6369","kind":"arxiv","version":1}},"canonical_sha256":"49fee28dc01fcc7485b30eba84bd9c4c272c177e810205ebaabfe633a91f21ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49fee28dc01fcc7485b30eba84bd9c4c272c177e810205ebaabfe633a91f21ac","first_computed_at":"2026-05-18T02:51:07.427136Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:07.427136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4SqVSkLKMZTsOCmWFFiQZ5Bn/w+LUNoLX3GaQaakjZUN7GHdTpqAX+q4bj1QHhwDj994jnPfw2pvFRaM7GWBAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:07.427635Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.6369","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cd3e5216ae02641b5fb36f84cf13db8a89e6c3160c464d3b4144e2572e94da0","sha256:fa88ceae391a0939ee82dd3cb5b01cbc04bce3da896059a8fa9a9a67cedbf939"],"state_sha256":"1e19a710a6d74a7c49924d7a4214152ebfef6e6df8d827ea9ab5cd8717288b5a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ueIi55nUkfsDUDCBs5K4z/wU70e9i1cnbpSLi2pxppPiyatLylfXLMmCiiTkmKucUJ5wJGxHEuQioYIizMuDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T19:59:25.179087Z","bundle_sha256":"b24ce38d5f976616429c453808e67acf9a9aadfd1c1eec039a7b475269b15fa5"}}