{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","short_pith_number":"pith:I4M7EEPM","schema_version":"1.0","canonical_sha256":"4719f211ec4e5adf66e58b30887a741a56e268099f38bb542248d5c91e274c65","source":{"kind":"arxiv","id":"2005.13685","version":1},"attestation_state":"computed","paper":{"title":"ProTuner: Tuning Programs with Monte Carlo Tree Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.PF","cs.PL"],"primary_cat":"cs.DC","authors_text":"Ameer Haj-Ali, Hasan Genc, Ion Stoica, John Wawrzynek, Krste Asanovi\\'c, Qijing Huang, William Moses","submitted_at":"2020-05-27T22:25:10Z","abstract_excerpt":"We explore applying the Monte Carlo Tree Search (MCTS) algorithm in a notoriously difficult task: tuning programs for high-performance deep learning and image processing. We build our framework on top of Halide and show that MCTS can outperform the state-of-the-art beam-search algorithm. Unlike beam search, which is guided by greedy intermediate performance comparisons between partial and less meaningful schedules, MCTS compares complete schedules and looks ahead before making any intermediate scheduling decision. We further explore modifications to the standard MCTS algorithm as well as combi"},"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":"2005.13685","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2020-05-27T22:25:10Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PF","cs.PL"],"title_canon_sha256":"743f2df40298d45351017d53f97c8de75334a85d6e893ed02820eb1269d8da99","abstract_canon_sha256":"44f71683d86849ebe514a07e8cd5ed7cffafc9851f9dd72545d97bb87fec3c65"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:06:24.188766Z","signature_b64":"Oeolmljt/kz2E3uuRxL8ArpACT9DXil0Ne79Fx5qm3yipN2/ocIO2RxCA5ZdWtTMN+2+YKYOEpwlpiyo7weeDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4719f211ec4e5adf66e58b30887a741a56e268099f38bb542248d5c91e274c65","last_reissued_at":"2026-07-05T01:06:24.188292Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:06:24.188292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ProTuner: Tuning Programs with Monte Carlo Tree Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.PF","cs.PL"],"primary_cat":"cs.DC","authors_text":"Ameer Haj-Ali, Hasan Genc, Ion Stoica, John Wawrzynek, Krste Asanovi\\'c, Qijing Huang, William Moses","submitted_at":"2020-05-27T22:25:10Z","abstract_excerpt":"We explore applying the Monte Carlo Tree Search (MCTS) algorithm in a notoriously difficult task: tuning programs for high-performance deep learning and image processing. We build our framework on top of Halide and show that MCTS can outperform the state-of-the-art beam-search algorithm. Unlike beam search, which is guided by greedy intermediate performance comparisons between partial and less meaningful schedules, MCTS compares complete schedules and looks ahead before making any intermediate scheduling decision. We further explore modifications to the standard MCTS algorithm as well as combi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.13685","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.13685/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2005.13685","created_at":"2026-07-05T01:06:24.188357+00:00"},{"alias_kind":"arxiv_version","alias_value":"2005.13685v1","created_at":"2026-07-05T01:06:24.188357+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.13685","created_at":"2026-07-05T01:06:24.188357+00:00"},{"alias_kind":"pith_short_12","alias_value":"I4M7EEPMJZNN","created_at":"2026-07-05T01:06:24.188357+00:00"},{"alias_kind":"pith_short_16","alias_value":"I4M7EEPMJZNN6ZXF","created_at":"2026-07-05T01:06:24.188357+00:00"},{"alias_kind":"pith_short_8","alias_value":"I4M7EEPM","created_at":"2026-07-05T01:06:24.188357+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.01880","citing_title":"Pearl: Automatic Code Optimization Using Deep Reinforcement Learning","ref_index":25,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","json":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ.json","graph_json":"https://pith.science/api/pith-number/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/graph.json","events_json":"https://pith.science/api/pith-number/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/events.json","paper":"https://pith.science/paper/I4M7EEPM"},"agent_actions":{"view_html":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","download_json":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ.json","view_paper":"https://pith.science/paper/I4M7EEPM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2005.13685&json=true","fetch_graph":"https://pith.science/api/pith-number/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/graph.json","fetch_events":"https://pith.science/api/pith-number/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/action/storage_attestation","attest_author":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/action/author_attestation","sign_citation":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/action/citation_signature","submit_replication":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/action/replication_record"}},"created_at":"2026-07-05T01:06:24.188357+00:00","updated_at":"2026-07-05T01:06:24.188357+00:00"}