{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Y63PIB4TKET4HNUZ5SZCCZNEIK","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":"89b294a493a008e41f3ec95040801f637d330e0c431a52fb619acdc529e5947c","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-04T15:14:27Z","title_canon_sha256":"8d0b4b582452802eba8c9ef746cff5133cf57dd898c2e96fa8f8373ad05829e0"},"schema_version":"1.0","source":{"id":"2505.02146","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02146","created_at":"2026-07-05T10:58:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02146v1","created_at":"2026-07-05T10:58:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02146","created_at":"2026-07-05T10:58:32Z"},{"alias_kind":"pith_short_12","alias_value":"Y63PIB4TKET4","created_at":"2026-07-05T10:58:32Z"},{"alias_kind":"pith_short_16","alias_value":"Y63PIB4TKET4HNUZ","created_at":"2026-07-05T10:58:32Z"},{"alias_kind":"pith_short_8","alias_value":"Y63PIB4T","created_at":"2026-07-05T10:58:32Z"}],"graph_snapshots":[{"event_id":"sha256:fbdcb2a66e7ad37c72681e3ad78bfd57fa752f6ea1913a7ccbe0fe388bb58dcf","target":"graph","created_at":"2026-07-05T10:58:32Z","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/2505.02146/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Heterogeneous deep learning systems (DLS) such as GPUs and ASICs have been widely deployed in industrial data centers, which requires to develop multiple low-level tensor programs for different platforms. An attractive solution to relieve the programming burden is to transcompile the legacy code of one platform to others. However, current transcompilation techniques struggle with either tremendous manual efforts or functional incorrectness, rendering \"Write Once, Run Anywhere\" of tensor programs an open question.\n  We propose a novel transcompiler, i.e., QiMeng-Xpiler, for automatically transl","authors_text":"Di Huang, Jiaming Guo, Jianxing Xu, Jun Bi, Qi Guo, Ruibai Xu, Shouyang Dong, Tianshi Chen, Xinkai Song, Xuehai Zhou, Yifan Hao, Yuanbo Wen, Yunji Chen","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-04T15:14:27Z","title":"QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02146","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:360113da5695b8cddadd5ce841923901e146f3ef55cc634dac6911764a7c2cc1","target":"record","created_at":"2026-07-05T10:58:32Z","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":"89b294a493a008e41f3ec95040801f637d330e0c431a52fb619acdc529e5947c","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-04T15:14:27Z","title_canon_sha256":"8d0b4b582452802eba8c9ef746cff5133cf57dd898c2e96fa8f8373ad05829e0"},"schema_version":"1.0","source":{"id":"2505.02146","kind":"arxiv","version":1}},"canonical_sha256":"c7b6f407935127c3b699ecb22165a442907ac8a697dcad657d26230f3912697c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7b6f407935127c3b699ecb22165a442907ac8a697dcad657d26230f3912697c","first_computed_at":"2026-07-05T10:58:32.775940Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:58:32.775940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KXEkPSHnMaI/NgNKKHCn91hykV86JRbJWohtHWO846QHYthNN8V4eCDlUnmedxdaPB7dmZN05I/63iW2riP7Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:58:32.776457Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.02146","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:360113da5695b8cddadd5ce841923901e146f3ef55cc634dac6911764a7c2cc1","sha256:fbdcb2a66e7ad37c72681e3ad78bfd57fa752f6ea1913a7ccbe0fe388bb58dcf"],"state_sha256":"7f804d2877b53bf123955cb77362c4235edb8079776e5080a5d28886ebe88d34"}