{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","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":"a25dd02c0465452c14f446719140ab21a96d6d9283258ab2405d463e96abf131","cross_cats_sorted":["cs.CL","cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T19:37:12Z","title_canon_sha256":"803cec2e4f89acf6d56c2d3aa8764b0d0cc767d9eafc1f9af56b48d53d2b814a"},"schema_version":"1.0","source":{"id":"2606.26344","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26344","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26344v1","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26344","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_12","alias_value":"7TZTMZCE4ZKB","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_16","alias_value":"7TZTMZCE4ZKBZ5BD","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_8","alias_value":"7TZTMZCE","created_at":"2026-06-26T00:15:37Z"}],"graph_snapshots":[{"event_id":"sha256:b238f2fd01e056a1385b93e4b28ed60556856bfd838ddf34e32bcbb620599bc8","target":"graph","created_at":"2026-06-26T00:15:37Z","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/2606.26344/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Akash Kothari, Chungha Sung, Daniel Kroening, Shaowei Zhu","cross_cats":["cs.CL","cs.PF"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T19:37:12Z","title":"Axon: A Synthesizing Superoptimizer for Tensor Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26344","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:658f07b1a4f0f66fea19e19d34e9bc433fd3da2f0bb98dfb6d8ed7f844ee6d63","target":"record","created_at":"2026-06-26T00:15:37Z","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":"a25dd02c0465452c14f446719140ab21a96d6d9283258ab2405d463e96abf131","cross_cats_sorted":["cs.CL","cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-24T19:37:12Z","title_canon_sha256":"803cec2e4f89acf6d56c2d3aa8764b0d0cc767d9eafc1f9af56b48d53d2b814a"},"schema_version":"1.0","source":{"id":"2606.26344","kind":"arxiv","version":1}},"canonical_sha256":"fcf3366444e6541cf423d2f66367c0b2101cd22c1d7aebb8a74debf84c7ebf35","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fcf3366444e6541cf423d2f66367c0b2101cd22c1d7aebb8a74debf84c7ebf35","first_computed_at":"2026-06-26T00:15:37.352789Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T00:15:37.352789Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dUq6Vif7x3LR5ni2OIOt3ybIymtNYmfNcC3gEiwE+5yj/9Ww5dzCRV8BwpMzVc6tNsVNjBwZ4TwhLmAeYJCQCg==","signature_status":"signed_v1","signed_at":"2026-06-26T00:15:37.353215Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.26344","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:658f07b1a4f0f66fea19e19d34e9bc433fd3da2f0bb98dfb6d8ed7f844ee6d63","sha256:b238f2fd01e056a1385b93e4b28ed60556856bfd838ddf34e32bcbb620599bc8"],"state_sha256":"dec9b50b37063ee3c53ae977ca74771f9fb85bd78682b7a0321ac7b108644585"}