{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:O2QO7EKTRKDO6GJFUXTOPXS7DP","short_pith_number":"pith:O2QO7EKT","canonical_record":{"source":{"id":"1409.5223","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-09-18T08:21:25Z","cross_cats_sorted":[],"title_canon_sha256":"86d904e850fd09a3dd401981f34e108ebaaba0d04b39e74525f7076711508fc2","abstract_canon_sha256":"bb6750e602f267a57cef32a6acbcc5d30d53f07c1c0ddeecc680865d4762831f"},"schema_version":"1.0"},"canonical_sha256":"76a0ef91538a86ef1925a5e6e7de5f1bf38643cb129f09f5985a5bd4b3419ecc","source":{"kind":"arxiv","id":"1409.5223","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.5223","created_at":"2026-05-18T02:42:30Z"},{"alias_kind":"arxiv_version","alias_value":"1409.5223v1","created_at":"2026-05-18T02:42:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.5223","created_at":"2026-05-18T02:42:30Z"},{"alias_kind":"pith_short_12","alias_value":"O2QO7EKTRKDO","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O2QO7EKTRKDO6GJF","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O2QO7EKT","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:O2QO7EKTRKDO6GJFUXTOPXS7DP","target":"record","payload":{"canonical_record":{"source":{"id":"1409.5223","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-09-18T08:21:25Z","cross_cats_sorted":[],"title_canon_sha256":"86d904e850fd09a3dd401981f34e108ebaaba0d04b39e74525f7076711508fc2","abstract_canon_sha256":"bb6750e602f267a57cef32a6acbcc5d30d53f07c1c0ddeecc680865d4762831f"},"schema_version":"1.0"},"canonical_sha256":"76a0ef91538a86ef1925a5e6e7de5f1bf38643cb129f09f5985a5bd4b3419ecc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:30.343653Z","signature_b64":"7ol8o2K7NXbXwL0/C0kyNI7JbZi3qBbkY01NJECUBLIKn7lBOUlOuC5m+nx0Ur8g6d5AttQ/70wbwkzN/4m+AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76a0ef91538a86ef1925a5e6e7de5f1bf38643cb129f09f5985a5bd4b3419ecc","last_reissued_at":"2026-05-18T02:42:30.343023Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:30.343023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.5223","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:42:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MCiXzP46C39BTG5tFlQDs689UgQszrWhdTGqw8NoJqr/g5SG5Ars7TK7ZZwSIJnqyHve4uwUaS39G0yrD5GLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T14:39:14.222985Z"},"content_sha256":"39feee803ccc0d489d5c479ddf429cdeb780ce0e5cd60573b9cb42035b154041","schema_version":"1.0","event_id":"sha256:39feee803ccc0d489d5c479ddf429cdeb780ce0e5cd60573b9cb42035b154041"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:O2QO7EKTRKDO6GJFUXTOPXS7DP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Why Local Search Excels in Expression Simplification","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-09-18T08:21:25Z","abstract_excerpt":"Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable. To this end, Horner's method can be used. Finding suitable Horner schemes is assumed to be hard, due to the lack of local heuristics. Recently, MCTS was reported to be able to find near optimal schemes. However, several parameters had to be fine-tuned manually. In this work, we investigate the state space properties of Horner schemes and find that the domain is relatively flat and contains only a few local minima. As a result, the Horner space is appropriate to be explore"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.5223","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:42:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+lLg7mD/sUXSl/j75kS2BdtK9sMgqAIr49wrXDwGaRnXH21zC757YM38u4ucQeumrHQc0AYcnagIqV7r1rPkAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T14:39:14.223325Z"},"content_sha256":"bfc8698a86c625c9cee981481e35ee577ecfc5881b99635d59dc9cf2ce69b949","schema_version":"1.0","event_id":"sha256:bfc8698a86c625c9cee981481e35ee577ecfc5881b99635d59dc9cf2ce69b949"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/bundle.json","state_url":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/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-27T14:39:14Z","links":{"resolver":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP","bundle":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/bundle.json","state":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:O2QO7EKTRKDO6GJFUXTOPXS7DP","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":"bb6750e602f267a57cef32a6acbcc5d30d53f07c1c0ddeecc680865d4762831f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-09-18T08:21:25Z","title_canon_sha256":"86d904e850fd09a3dd401981f34e108ebaaba0d04b39e74525f7076711508fc2"},"schema_version":"1.0","source":{"id":"1409.5223","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.5223","created_at":"2026-05-18T02:42:30Z"},{"alias_kind":"arxiv_version","alias_value":"1409.5223v1","created_at":"2026-05-18T02:42:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.5223","created_at":"2026-05-18T02:42:30Z"},{"alias_kind":"pith_short_12","alias_value":"O2QO7EKTRKDO","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O2QO7EKTRKDO6GJF","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O2QO7EKT","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:bfc8698a86c625c9cee981481e35ee577ecfc5881b99635d59dc9cf2ce69b949","target":"graph","created_at":"2026-05-18T02:42:30Z","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":"Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable. To this end, Horner's method can be used. Finding suitable Horner schemes is assumed to be hard, due to the lack of local heuristics. Recently, MCTS was reported to be able to find near optimal schemes. However, several parameters had to be fine-tuned manually. In this work, we investigate the state space properties of Horner schemes and find that the domain is relatively flat and contains only a few local minima. As a result, the Horner space is appropriate to be explore","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-09-18T08:21:25Z","title":"Why Local Search Excels in Expression Simplification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.5223","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:39feee803ccc0d489d5c479ddf429cdeb780ce0e5cd60573b9cb42035b154041","target":"record","created_at":"2026-05-18T02:42:30Z","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":"bb6750e602f267a57cef32a6acbcc5d30d53f07c1c0ddeecc680865d4762831f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-09-18T08:21:25Z","title_canon_sha256":"86d904e850fd09a3dd401981f34e108ebaaba0d04b39e74525f7076711508fc2"},"schema_version":"1.0","source":{"id":"1409.5223","kind":"arxiv","version":1}},"canonical_sha256":"76a0ef91538a86ef1925a5e6e7de5f1bf38643cb129f09f5985a5bd4b3419ecc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76a0ef91538a86ef1925a5e6e7de5f1bf38643cb129f09f5985a5bd4b3419ecc","first_computed_at":"2026-05-18T02:42:30.343023Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:30.343023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7ol8o2K7NXbXwL0/C0kyNI7JbZi3qBbkY01NJECUBLIKn7lBOUlOuC5m+nx0Ur8g6d5AttQ/70wbwkzN/4m+AA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:30.343653Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.5223","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39feee803ccc0d489d5c479ddf429cdeb780ce0e5cd60573b9cb42035b154041","sha256:bfc8698a86c625c9cee981481e35ee577ecfc5881b99635d59dc9cf2ce69b949"],"state_sha256":"42653465b6643a7c0cfef0a8c96e9ee3b9a6a775f71cd15887cc8ea839e5d512"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PyzvVxxdudpTY0gD7Ldpq8dMrlcV9Zy5vlAWuZTtBDdxJw+Fjc4eTUFBcxE+IcA6v7t47kZHnD6PdtuG7Dy9Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T14:39:14.225305Z","bundle_sha256":"26c9cf3d377ddd30940571d23101ca9a1da5ac829745a23478c892b0b348bbcc"}}