{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","short_pith_number":"pith:I4M7EEPM","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"},"canonical_sha256":"4719f211ec4e5adf66e58b30887a741a56e268099f38bb542248d5c91e274c65","source":{"kind":"arxiv","id":"2005.13685","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.13685","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"2005.13685v1","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.13685","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"I4M7EEPMJZNN","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"pith_short_16","alias_value":"I4M7EEPMJZNN6ZXF","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"pith_short_8","alias_value":"I4M7EEPM","created_at":"2026-07-05T01:06:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","target":"record","payload":{"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"},"canonical_sha256":"4719f211ec4e5adf66e58b30887a741a56e268099f38bb542248d5c91e274c65","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"},"source_kind":"arxiv","source_id":"2005.13685","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-07-05T01:06:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M/NzBQwXcaA3X3hWfXkJ1sfyvPxnpBxcL5n2PLgZM1RMnz92aQO0aSgadg0LPPikxAx0RNy+UGYCfaVg3H19Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:01:07.770365Z"},"content_sha256":"ac52f3086d5b86287a2b806d457f042f460991c5918ce92a719cc83a2dba1c55","schema_version":"1.0","event_id":"sha256:ac52f3086d5b86287a2b806d457f042f460991c5918ce92a719cc83a2dba1c55"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","target":"graph","payload":{"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"},"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-07-05T01:06:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"flT/S6oFLvE4po3pDjbO7eiEFuh3CtucMGYTArYukD6X/ybaGaHFNmUEbxyemCSo2yjwqcG5uSIACZaJN1qAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T03:01:07.771218Z"},"content_sha256":"607be8bcfed9dcd91db6caab39ba558a4673b9d5cdc028712182cf76467b18cc","schema_version":"1.0","event_id":"sha256:607be8bcfed9dcd91db6caab39ba558a4673b9d5cdc028712182cf76467b18cc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/bundle.json","state_url":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/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-08-09T03:01:07Z","links":{"resolver":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","bundle":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/bundle.json","state":"https://pith.science/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I4M7EEPMJZNN6ZXFRMYIQ6TUDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:I4M7EEPMJZNN6ZXFRMYIQ6TUDJ","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":"44f71683d86849ebe514a07e8cd5ed7cffafc9851f9dd72545d97bb87fec3c65","cross_cats_sorted":["cs.AI","cs.LG","cs.PF","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2020-05-27T22:25:10Z","title_canon_sha256":"743f2df40298d45351017d53f97c8de75334a85d6e893ed02820eb1269d8da99"},"schema_version":"1.0","source":{"id":"2005.13685","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.13685","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"2005.13685v1","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.13685","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"I4M7EEPMJZNN","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"pith_short_16","alias_value":"I4M7EEPMJZNN6ZXF","created_at":"2026-07-05T01:06:24Z"},{"alias_kind":"pith_short_8","alias_value":"I4M7EEPM","created_at":"2026-07-05T01:06:24Z"}],"graph_snapshots":[{"event_id":"sha256:607be8bcfed9dcd91db6caab39ba558a4673b9d5cdc028712182cf76467b18cc","target":"graph","created_at":"2026-07-05T01:06:24Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.13685/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Ameer Haj-Ali, Hasan Genc, Ion Stoica, John Wawrzynek, Krste Asanovi\\'c, Qijing Huang, William Moses","cross_cats":["cs.AI","cs.LG","cs.PF","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2020-05-27T22:25:10Z","title":"ProTuner: Tuning Programs with Monte Carlo Tree Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.13685","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:ac52f3086d5b86287a2b806d457f042f460991c5918ce92a719cc83a2dba1c55","target":"record","created_at":"2026-07-05T01:06:24Z","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":"44f71683d86849ebe514a07e8cd5ed7cffafc9851f9dd72545d97bb87fec3c65","cross_cats_sorted":["cs.AI","cs.LG","cs.PF","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2020-05-27T22:25:10Z","title_canon_sha256":"743f2df40298d45351017d53f97c8de75334a85d6e893ed02820eb1269d8da99"},"schema_version":"1.0","source":{"id":"2005.13685","kind":"arxiv","version":1}},"canonical_sha256":"4719f211ec4e5adf66e58b30887a741a56e268099f38bb542248d5c91e274c65","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4719f211ec4e5adf66e58b30887a741a56e268099f38bb542248d5c91e274c65","first_computed_at":"2026-07-05T01:06:24.188292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:06:24.188292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Oeolmljt/kz2E3uuRxL8ArpACT9DXil0Ne79Fx5qm3yipN2/ocIO2RxCA5ZdWtTMN+2+YKYOEpwlpiyo7weeDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:06:24.188766Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.13685","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac52f3086d5b86287a2b806d457f042f460991c5918ce92a719cc83a2dba1c55","sha256:607be8bcfed9dcd91db6caab39ba558a4673b9d5cdc028712182cf76467b18cc"],"state_sha256":"baf856a54e5b89a2ae89b4b4ccba2e8d3e15291b204f8d5cbef49bc882ef3fa3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tGBc/eEAnjPeOHI/G27exaMflKGhcBVxFEsrsQV99g4XkrqTJxxeuUQ97JS4dpeS0ISwIAHZmfkvkQDBIEoQBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T03:01:07.776546Z","bundle_sha256":"343bc5c2ae72ccaf4c33b39688149593dad1049f7526c7b4860bb8bc1b15f0b6"}}