{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","short_pith_number":"pith:7TZTMZCE","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"},"canonical_sha256":"fcf3366444e6541cf423d2f66367c0b2101cd22c1d7aebb8a74debf84c7ebf35","source":{"kind":"arxiv","id":"2606.26344","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","target":"record","payload":{"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"},"canonical_sha256":"fcf3366444e6541cf423d2f66367c0b2101cd22c1d7aebb8a74debf84c7ebf35","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"},"source_kind":"arxiv","source_id":"2606.26344","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-06-26T00:15:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"32BafPgqmgLYTwiTMPGmGDOYlDX9oxLnuxgJQTJSXutVzvQBbokh4s5CBHx0R5+uKIQw0j3e+xxeBlQtV+FGDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T01:59:33.994403Z"},"content_sha256":"658f07b1a4f0f66fea19e19d34e9bc433fd3da2f0bb98dfb6d8ed7f844ee6d63","schema_version":"1.0","event_id":"sha256:658f07b1a4f0f66fea19e19d34e9bc433fd3da2f0bb98dfb6d8ed7f844ee6d63"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","target":"graph","payload":{"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"},"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-06-26T00:15:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s0knoMFFEBNtBRb6qT2o+cUy09andv3mMBO3ASLwhj+125CO2QoyL3Ls9/OA1XWomHUVZoemwY6MOcqVcdedDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T01:59:33.995074Z"},"content_sha256":"b238f2fd01e056a1385b93e4b28ed60556856bfd838ddf34e32bcbb620599bc8","schema_version":"1.0","event_id":"sha256:b238f2fd01e056a1385b93e4b28ed60556856bfd838ddf34e32bcbb620599bc8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/bundle.json","state_url":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/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-06-30T01:59:33Z","links":{"resolver":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI","bundle":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/bundle.json","state":"https://pith.science/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7TZTMZCE4ZKBZ5BD2L3GGZ6AWI/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gX1nNGBZWpR04qNCbikX1VXG+ze7pEWm5CN5cJnBu18aopcMrygt9v3cN26dSbaCGb0kE53aESfZ6MDhHpxeDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T01:59:33.998841Z","bundle_sha256":"abfe4b08bd5917c8606ce15951dabb3e7dc777aa9da47394dafa2cd4efc3cc24"}}