{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","short_pith_number":"pith:7TZTMZCE","schema_version":"1.0","canonical_sha256":"fcf3366444e6541cf423d2f66367c0b2101cd22c1d7aebb8a74debf84c7ebf35","source":{"kind":"arxiv","id":"2606.26344","version":1},"attestation_state":"computed","paper":{"title":"Axon: A Synthesizing Superoptimizer for Tensor Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.PF"],"primary_cat":"cs.PL","authors_text":"Akash Kothari, Chungha Sung, Daniel Kroening, Shaowei Zhu","submitted_at":"2026-06-24T19:37:12Z","abstract_excerpt":"Writing high performance kernels for AI accelerators requires deep expertise in tiling, instruction selection, data layout, and operator fusion placing a significant burden on programmers. In this paper, we focus on tile based AI accelerator programs and present Axon, a synthesizing superoptimizer for tensor programs: it uses program synthesis to automatically generate target instructions from semantics specifications, and explores semantically equivalent program variants to select the best performing kernel empirically. Axon discovers algebraic transformations by propagating operators through"},"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":"2606.26344","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T19:37:12Z","cross_cats_sorted":["cs.CL","cs.PF"],"title_canon_sha256":"803cec2e4f89acf6d56c2d3aa8764b0d0cc767d9eafc1f9af56b48d53d2b814a","abstract_canon_sha256":"a25dd02c0465452c14f446719140ab21a96d6d9283258ab2405d463e96abf131"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T00:15:37.353215Z","signature_b64":"dUq6Vif7x3LR5ni2OIOt3ybIymtNYmfNcC3gEiwE+5yj/9Ww5dzCRV8BwpMzVc6tNsVNjBwZ4TwhLmAeYJCQCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fcf3366444e6541cf423d2f66367c0b2101cd22c1d7aebb8a74debf84c7ebf35","last_reissued_at":"2026-06-26T00:15:37.352789Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T00:15:37.352789Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Axon: A Synthesizing Superoptimizer for Tensor Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.PF"],"primary_cat":"cs.PL","authors_text":"Akash Kothari, Chungha Sung, Daniel Kroening, Shaowei Zhu","submitted_at":"2026-06-24T19:37:12Z","abstract_excerpt":"Writing high performance kernels for AI accelerators requires deep expertise in tiling, instruction selection, data layout, and operator fusion placing a significant burden on programmers. In this paper, we focus on tile based AI accelerator programs and present Axon, a synthesizing superoptimizer for tensor programs: it uses program synthesis to automatically generate target instructions from semantics specifications, and explores semantically equivalent program variants to select the best performing kernel empirically. Axon discovers algebraic transformations by propagating operators through"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26344","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/2606.26344/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":"2606.26344","created_at":"2026-06-26T00:15:37.352847+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.26344v1","created_at":"2026-06-26T00:15:37.352847+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26344","created_at":"2026-06-26T00:15:37.352847+00:00"},{"alias_kind":"pith_short_12","alias_value":"7TZTMZCE4ZKB","created_at":"2026-06-26T00:15:37.352847+00:00"},{"alias_kind":"pith_short_16","alias_value":"7TZTMZCE4ZKBZ5BD","created_at":"2026-06-26T00:15:37.352847+00:00"},{"alias_kind":"pith_short_8","alias_value":"7TZTMZCE","created_at":"2026-06-26T00:15:37.352847+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/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","json":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI.json","graph_json":"https://pith.science/api/pith-number/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/graph.json","events_json":"https://pith.science/api/pith-number/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/events.json","paper":"https://pith.science/paper/7TZTMZCE"},"agent_actions":{"view_html":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","download_json":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI.json","view_paper":"https://pith.science/paper/7TZTMZCE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.26344&json=true","fetch_graph":"https://pith.science/api/pith-number/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/graph.json","fetch_events":"https://pith.science/api/pith-number/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/action/storage_attestation","attest_author":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/action/author_attestation","sign_citation":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/action/citation_signature","submit_replication":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/action/replication_record"}},"created_at":"2026-06-26T00:15:37.352847+00:00","updated_at":"2026-06-26T00:15:37.352847+00:00"}