Pith. sign in

Paper Citation Record · LEDGER

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach

As of 23 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 1 inbound Pith citation observation for arXiv:2505.02146.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.02146 v1

Coverage vector

measured 51 of 51 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T01:04:39.340420Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:34:04.484160Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-07T10:34:05.194529Z

Reference resolution

51 of 51 outbound references displayed

  • verified exact0
  • verified fuzzy36
  • unresolved15
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 80e05c6d-5022-4c52-b789-4a3751ddb5ec · outbound

This paper cites https:// developer.nvidia.com/cublas.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https:// developer.nvidia.com/cublas

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:40.066857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.120990Z digest=sha256:82f08b096408a4ffbc91bd6cecba82c00a4de0482a31b3801e4aa264ce5f1f16

Observation e6a8761f-eaa5-4888-9e07-c9d94662baeb · outbound

This paper cites https://www.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://www

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:40.053199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.125823Z digest=sha256:c7df16ac87af2ead42a7d3da39725a969ae364f921f59c0e92a482e7e48d0c17

Observation c184edd7-4be2-4d0a-9b3a-da38cc0bb2ff · outbound

This paper cites https://www.cambricon.com/.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://www.cambricon.com/

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:40.040235Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.130435Z digest=sha256:e30f133659d1dd3758db2758a6320836bff782e9588cd835d5b017f6bc27ff44

Observation 7f514706-7840-4c47-9ee9-71d850ae4fe1 · outbound

This paper cites https://aws.amazon.com/.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://aws.amazon.com/

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:40.027758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.134671Z digest=sha256:d03a3de072c518cc1596bcf370ac7b9dd913248257f9fc32292b4c2d9a288783

Observation 52a6628c-1a21-494e-a9b5-c3aa760662dc · outbound

This paper cites https://github.com/gotranspile/cxgo.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://github.com/gotranspile/cxgo

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:40.015408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.138609Z digest=sha256:ea4e82a85c8fbdb0a4134096f99480e13dfbe8865e5764ba41421160af96ddf1

Observation 8438c5e9-1deb-4464-b22f-5d233171777a · outbound

This paper cites https:// cloud.google.com/.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https:// cloud.google.com/

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:40.001673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.142584Z digest=sha256:6eb4c256948d9bce114c15fffcc0a75350912c4d46b51640fc9a7b3d17d3ef25

Observation ba4dcfde-1803-4851-9f70-2b54aec4caf4 · outbound

This paper cites https://github.com/ROCm/HIPIFY.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://github.com/ROCm/HIPIFY

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.989280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.147380Z digest=sha256:4fda02c23437510a312ff6eb0c90470ef59caef6948e99b20a7c1dad35531134

Observation 0b15dc80-5f93-466b-bb0b-68f7b816cac9 · outbound

This paper cites https://openai.com/o1/.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://openai.com/o1/

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.977622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.151681Z digest=sha256:7eb295fb49eca8b3155bfef4a3f6123a65b8cc0ee25bf842e26b0ea554742fa6

Observation 0cbd33f9-ab2b-4386-8772-9c12a5c4642a · outbound

This paper cites https://www.graphcore.ai/ products/ipu.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://www.graphcore.ai/ products/ipu

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.965387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.155919Z digest=sha256:493edf835ed0778de3b8b3d892d6068e6b0bc8ef1c28316e8352c3204dc04823

Observation eeca6e25-3a17-470b-a902-2168f26a4d4c · outbound

This paper cites https: //azure.microsoft.com/.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https: //azure.microsoft.com/

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.950015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.160129Z digest=sha256:25521d9b1c6b4407e548d81f4fd8f0ed7c0736df1367278242bf683e2eca0f72

Observation 4c6b4350-a96c-4cda-b1f4-3188f6352fe0 · outbound

This paper cites https://developer.nvidia.com/ cudnn.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://developer.nvidia.com/ cudnn

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.936174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.164398Z digest=sha256:057b26c8b0add03ad7e61e72fcfd3dbe5547c0f9cef401131e322851662b8ffb

Observation 6f6b1165-c631-47a5-81e9-d2b9d8890834 · outbound

This paper cites https://www.nvidia.cn/ data-center/tensor-cores/.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://www.nvidia.cn/ data-center/tensor-cores/

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.922901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.168561Z digest=sha256:6440bce2702a5b21ed8db10893b3825d7514f9be7e9a56801872767381abccc4

Observation 0eb2a266-b336-4898-926b-d1effb112a85 · outbound

This paper cites https://github.com/immunant/ c2rust.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://github.com/immunant/ c2rust

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.908716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.172575Z digest=sha256:c563ca44e9480c92f35b351c56fab5923c590e76a6c9adb8cdcadc0610864617

Observation df73e265-a7b2-4ac3-9fb8-e7416291a3c3 · outbound

This paper cites https://github.com/intel/mkl-dnn.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach https://github.com/intel/mkl-dnn

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.892293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.177022Z digest=sha256:32178bd023a51367a0cd1664a257d1c4e44e6677832b8c43ad58424a689f2fbc

Observation d2b5c24a-0d53-4767-b7ad-f33c973e5ff4 · outbound

This paper cites Neural Machine Translation by Jointly Learning to Align and Translate.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Neural Machine Translation by Jointly Learning to Align and Translate

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.186295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.186295Z digest=sha256:e08f3a2ab4b29578fecc53fca0cef72fe81b98ebb723084d1d2fe22b1d6f8ad2

Observation f7c6e283-8f4a-4154-95d8-c60e0c6049d9 · outbound

This paper cites Mosaic: An interoperable compiler for tensor algebra.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Mosaic: An interoperable compiler for tensor algebra

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.877856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.191061Z digest=sha256:9de5696240f44f3ef0bd72f5b3c1ac6cda199374da589b48fbe6a6aec75c05ad

Observation a9dc7db1-42e5-49f3-ae52-121381dd6b2e · outbound

This paper cites Seshia, and Alvin Cheung.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Seshia, and Alvin Cheung

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.864487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.195235Z digest=sha256:dd21febbb0bdbc07987dfed52ffe2986291f5976026c4b6bed6b902314c61af3

Observation f02b47b2-96b2-47c6-915e-81d9fd0b5e16 · outbound

This paper cites Browne, Edward Powley, Daniel White- house, Simon M.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Browne, Edward Powley, Daniel White- house, Simon M

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.850126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.199784Z digest=sha256:aea57beb6bb6f19fca858b92f77f7a78859517733a2c5165c9fea1867a34e111

Observation 625cea9c-bb2b-4931-9e8d-8685d2913efd · outbound

This paper cites Sparks of Artificial General Intelligence: Early experiments with GPT-4.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Sparks of Artificial General Intelligence: Early experiments with GPT-4

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.204170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.204170Z digest=sha256:7cfd330d22506ebdea58fcea6f0cb88f17076b77f7031675bcda9bbce5708e00

Observation 2c7356db-10ab-43d9-ac9a-b0bc443c4947 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Evaluating Large Language Models Trained on Code

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.209299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.209299Z digest=sha256:07dfd37d2d066741058b3cbe693c62e26909ddd3aa3b702173df9ae37d303d1d

Observation e685f5b7-a28a-4692-ac09-47652d1e007f · outbound

This paper cites Teaching Large Language Models to Self-Debug.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Teaching Large Language Models to Self-Debug

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.213836Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.213836Z digest=sha256:7f54cbfc08efa1e7d7e9ad914f119d5fd112b36d92f45269b48574848621ddf0

Observation 29e2ba3c-a56d-4f6f-8d00-646e3f571afb · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.218063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.218063Z digest=sha256:6399708fc77bc46309266e0fe51f0ed43ff14e59ed67ec7ae11fb7464b69f01d

Observation d3486efd-dbed-41bb-83b9-88e0d5230831 · outbound

This paper cites Cox: Exposing cuda warp-level functions to cpus.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Cox: Exposing cuda warp-level functions to cpus

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.834770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.222214Z digest=sha256:cc29431dc4144114d2ebf8747f00fbccf31ce7f1d1944f5f6ca3196728f5413a

Observation 52764abc-b7ec-488f-804f-b1080400b504 · outbound

This paper cites Deep residual learning for image recognition.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Deep residual learning for image recognition

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.226065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.226065Z digest=sha256:cfcfb13e89412085b02a1f6d9b7e4b9812e770894e5a1e552690e29f5076b16e

Observation fc807ff9-5f28-4251-8bd0-6c81391487fa · outbound

This paper cites MobileNets: Efficient Convolutional Neural Networks for Mobile Vision Applications.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach MobileNets: Efficient Convolutional Neural Networks for Mobile Vision Applications

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.230093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.230093Z digest=sha256:97865736844eff7284e29bfe69eb4275b9f38c5ab0144f3c3257b682dcfc2e4d

Observation e20c1aad-9181-49cc-8cc5-33639c314eaa · outbound

This paper cites Exocompi- lation for productive programming of hardware accel- erators.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Exocompi- lation for productive programming of hardware accel- erators

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.811836Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.234361Z digest=sha256:c7a2f1269f287acc3de151ac4523ac56ba05127a753d02a0f067d356256133f2

Observation 11d487d5-a229-4bed-9e5b-d89a4773fbc9 · outbound

This paper cites Martini: The little match and replace tool for automatic application rewriting with code exam- ples.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Martini: The little match and replace tool for automatic application rewriting with code exam- ples

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.799686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.238413Z digest=sha256:1c7a1fef5c4fa6bc8fad33813f5c6b7a4d3a5ba06b4295f9d57ca9490476d8dc

Observation 2c59c8ea-a7cc-4142-a6d4-7667b959aff3 · outbound

This paper cites In- datacenter performance analysis of a tensor process- ing unit.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach In- datacenter performance analysis of a tensor process- ing unit

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.786613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.242294Z digest=sha256:b0078ab05a0c3665b2997eea11608372437a7614e4ac3b64ada15bc24ced9eee

Observation 22fffb42-59c2-4f02-a688-ee960df65e63 · outbound

This paper cites Taco: A tool to gen- erate tensor algebra kernels.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Taco: A tool to gen- erate tensor algebra kernels

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.774465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.246500Z digest=sha256:cba5f5f07d36331c618f42cd82486470999f6aeaee77a3972d302a78b4d77338

Observation 07270cc7-c4ba-4800-a17b-17c0e0388c5d · outbound

This paper cites Starcoder: may the source be with you!, 2023.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Starcoder: may the source be with you!, 2023

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.761569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.250468Z digest=sha256:343c253638f584e271c6ab1a6534a09542d763ec116f6f207253e41e10d54194

Observation 0a22dc5a-7d50-44e2-ac0e-63b5cb4be399 · outbound

This paper cites Competition-level code generation with alphacode.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Competition-level code generation with alphacode

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.747969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.254428Z digest=sha256:8e165e8d30f4b6705b182f2af49f0069437bc7a138c63d5406edb8c82a8bb689

Observation 43eb15c6-c412-4180-a459-fec5e0aab8ed · outbound

This paper cites C2taco: Lifting tensor code to taco.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach C2taco: Lifting tensor code to taco

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.733977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.258086Z digest=sha256:89efe3abfa0fc4aef4035883082d7a22097647864b95902f56d02c4a15a52e0d

Observation 5eaa1ab0-53e0-4a76-91c6-9c8c984f40bd · outbound

This paper cites Z3: an effi- cient smt solver.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Z3: an effi- cient smt solver

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.719618Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.261793Z digest=sha256:10f5224f9e13a5104cd7d675fc2d1be485d237f8d049effe740bb54eb01b48a0

Observation 7363b844-d32e-465d-b611-cce4ff5cc010 · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.266043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.266043Z digest=sha256:0978792af886901bb2c75b61d9bed2504ff85a11c4b4d5b55848c2026c86d3df

Observation 7c06ca99-3e40-416d-82da-9f2b02d0bdfd · outbound

This paper cites GPT-4 Technical Report.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach GPT-4 Technical Report

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.270408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.270408Z digest=sha256:492701ef046b1da8f00a259e14a0ed7da464d74bb0d98e7e68a096f52dabe710

Observation 10d0e1f4-d75a-4483-9245-08e6e5c74cae · outbound

This paper cites Efficient compilation of cuda kernels for high- performance computing on fpgas.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Efficient compilation of cuda kernels for high- performance computing on fpgas

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.706049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.274513Z digest=sha256:88c5b1f35dab4f68366a1aa072e0488d87526386afbb7e6d88b2152d24c57e1a

Observation 1c09d7e5-36fb-476a-9fba-6508818fb984 · outbound

This paper cites Chasins, and Rastislav Bodík.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Chasins, and Rastislav Bodík

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.691673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.279236Z digest=sha256:0676b9301180e8cf64d4eaad255163acfa6b537a62381f549051cbb12ae02d93

Observation 66e16a81-f1df-4d6e-b23a-6da5ce57db6b · outbound

This paper cites Seshia, and Alvin Cheung.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Seshia, and Alvin Cheung

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.677779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.283259Z digest=sha256:2aead712dc2d90115b216f3a45d8f10387565cb5089ff619729f2fe0d48c59f7

Observation 27c2b286-0ef7-436f-9d6f-5b3ed4d53621 · outbound

This paper cites Unsupervised translation of programming languages.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Unsupervised translation of programming languages

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.663571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.287244Z digest=sha256:08d07e03df8f9c53d57c7ae62f6b3eaac84870031b2586489823797bdc63dff4

Observation 559b4695-751c-4c35-8a6c-d3ffbcae23e2 · outbound

This paper cites Generative neu- ral machine translation.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Generative neu- ral machine translation

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.649691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.291565Z digest=sha256:6ebdccc8a77bc4de6d929c13bbc20557955ea3ff5a338eb8ee76fe0669e35785

Observation 8d3187ab-ddce-4636-8851-01db469896ac · outbound

This paper cites Simonyan and A.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Simonyan and A

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.635228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.295789Z digest=sha256:8d3bfae11021a0d5f9a2772de5fcc6ca8cd9b46bd706fcdd3b0a5719448bb437

Observation 6225ae71-73cc-415b-9c37-6d8bb3d1e2b8 · outbound

This paper cites Gemini: A Family of Highly Capable Multimodal Models.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Gemini: A Family of Highly Capable Multimodal Models

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.300409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.300409Z digest=sha256:ccb9e1eb6ae26e9ce542a1aa6020dbc71072aa28a832bec72292b42c911942e9

Observation 22bdcf5d-6965-4b97-947c-1ff4ca3248e1 · outbound

This paper cites Llama 2: Open Foundation and Fine-Tuned Chat Models.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Llama 2: Open Foundation and Fine-Tuned Chat Models

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.305255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.305255Z digest=sha256:f255687d74d7ee0a95f9850962a41b31080d5020acf0fb4374e4e1d209bd356c

Observation 1426264b-6554-4ddf-836a-80ca122d55b9 · outbound

This paper cites Im- provements to bm25 and language models examined.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Im- provements to bm25 and language models examined

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.619487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.309727Z digest=sha256:947bf5f0028d7536353143e152c780966f0fa3c2c9af1f0e41fb8bb9c87d91f0

Observation d12e8ec4-15b9-428e-86ea-7c2f9a4fa4bb · outbound

This paper cites Vectorization for dig- ital signal processors via equality saturation extended abstract.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Vectorization for dig- ital signal processors via equality saturation extended abstract

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.606339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.313894Z digest=sha256:84fe7914210db94cf5a5eb230955c63ba05a0b9c3d93525d6b058d23fc13f9e2

Observation 3a49eb61-7897-4962-8f39-528cfd856187 · outbound

This paper cites Polyhedral parallel code generation for cuda.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Polyhedral parallel code generation for cuda

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.593531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.318181Z digest=sha256:ba9b00e6cdbd6b7c2381b91b1d4fe9f7abd0f6772801d21d21b11329d3ce16d9

Observation 96003d5f-24fa-490e-a2ab-325ee8db2343 · outbound

This paper cites CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.322935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.322935Z digest=sha256:24cdfe784155d9cdcb312fbc0a5148442e151c3f1f2c4f00f473268f53d89fba

Observation 9a9c51be-e4c2-4628-b113-4aecbe8cb1b6 · outbound

This paper cites an unresolved cited work.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-16T01:04:39.579554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.327436Z digest=sha256:430eb675fd239412b1b77ff8418038d40d38fe8808356abca41da78a95708ded

Observation 93875104-612b-44c0-a274-fcb30f419f25 · outbound

This paper cites Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation

Reference 50

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.331949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.331949Z digest=sha256:fb67506a1a6e01208663ef20bc9e85e0b509ea48e6be9657311aae43a549792d

Observation 29469557-66ab-4bb3-86f0-ca8a4e48f075 · outbound

This paper cites Vision transformer with deformable at- tention.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach Vision transformer with deformable at- tention

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T01:04:39.566390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-16T01:04:39.336508Z digest=sha256:2de452924eef99a65c63f927d802b1843283481854478c676b6d2744eb87474b

Observation f3e58cc1-5028-41ae-9cfd-e0beb20bed28 · outbound

This paper cites CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X.

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X

Reference 52

Resolution
unresolved
no resolver link, observed 2026-08-16T01:04:39.340420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T01:04:39.340420Z digest=sha256:ee2295533b8b22a8550cb1450b571da3e7a4dc6c90270a2d219e709d0b0a4455

Pith citing papers

Observation 7f31bb79-1361-4a0e-94ac-20c752b3b97b · inbound

QiMeng: Fully Automated Hardware and Software Design for Processor Chip cites this paper.

QiMeng: Fully Automated Hardware and Software Design for Processor Chip QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach

Reference 55

Resolution
verified exact
local_arxiv, observed 2026-08-07T10:34:05.200280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-07T10:34:04.484160Z digest=sha256:67b816a6a03f93d9892aea2895010e5defdee87ab3b6db333e1443bd4d53b7db