{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:O2QO7EKTRKDO6GJFUXTOPXS7DP","short_pith_number":"pith:O2QO7EKT","schema_version":"1.0","canonical_sha256":"76a0ef91538a86ef1925a5e6e7de5f1bf38643cb129f09f5985a5bd4b3419ecc","source":{"kind":"arxiv","id":"1409.5223","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1409.5223","created_at":"2026-05-18T02:42:30.343114+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.5223v1","created_at":"2026-05-18T02:42:30.343114+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.5223","created_at":"2026-05-18T02:42:30.343114+00:00"},{"alias_kind":"pith_short_12","alias_value":"O2QO7EKTRKDO","created_at":"2026-05-18T12:28:41.024544+00:00"},{"alias_kind":"pith_short_16","alias_value":"O2QO7EKTRKDO6GJF","created_at":"2026-05-18T12:28:41.024544+00:00"},{"alias_kind":"pith_short_8","alias_value":"O2QO7EKT","created_at":"2026-05-18T12:28:41.024544+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP","json":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP.json","graph_json":"https://pith.science/api/pith-number/O2QO7EKTRKDO6GJFUXTOPXS7DP/graph.json","events_json":"https://pith.science/api/pith-number/O2QO7EKTRKDO6GJFUXTOPXS7DP/events.json","paper":"https://pith.science/paper/O2QO7EKT"},"agent_actions":{"view_html":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP","download_json":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP.json","view_paper":"https://pith.science/paper/O2QO7EKT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.5223&json=true","fetch_graph":"https://pith.science/api/pith-number/O2QO7EKTRKDO6GJFUXTOPXS7DP/graph.json","fetch_events":"https://pith.science/api/pith-number/O2QO7EKTRKDO6GJFUXTOPXS7DP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/action/storage_attestation","attest_author":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/action/author_attestation","sign_citation":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/action/citation_signature","submit_replication":"https://pith.science/pith/O2QO7EKTRKDO6GJFUXTOPXS7DP/action/replication_record"}},"created_at":"2026-05-18T02:42:30.343114+00:00","updated_at":"2026-05-18T02:42:30.343114+00:00"}