Paper Citation Record · LEDGER

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories

As of 17 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2606.25244.

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

pith.paper-citation-record.v1
2606.25244 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-25T19:57:12.657341Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

40 of 40 outbound references displayed

verified exact9
verified fuzzy0
unresolved31
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2051b2ad-3363-433d-bd60-8b5fcd16650d · outbound

This paper cites Hexagon-mlir: An ai compilation stack for qual- comm’s neural processing units (npus).

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Hexagon-mlir: An ai compilation stack for qual- comm’s neural processing units (npus)

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:40:07.670638Z

Source-reported events for the cited work

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

Observation dece4e85-3d37-43ce-a34f-c99589102c5d · outbound

This paper cites Abellán, José Cano, and David Kaeli.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Abellán, José Cano, and David Kaeli

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db5c6ad9-4bde-4ca5-b36a-4fce364a4b7e · outbound

This paper cites Oxford University Press, Oxford, UK, 2nd edition, 2010.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Oxford University Press, Oxford, UK, 2nd edition, 2010

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 984c0146-9857-4f61-8058-daf76caf5334 · outbound

This paper cites Cambridge University Press, Cambridge, UK, 1998.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Cambridge University Press, Cambridge, UK, 1998

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16845dc5-5b4e-477f-a0e9-f7743b68288a · outbound

This paper cites Graduate Texts in Computer Science.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Graduate Texts in Computer Science

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6a08040-7365-4f5c-b2a4-391d2653c768 · outbound

This paper cites Automated program refinement: Guide and verify code Large Language Model with refinement calculus.Proc.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Automated program refinement: Guide and verify code Large Language Model with refinement calculus.Proc

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e053ec81-961c-47f3-b64c-0d76d0e01a50 · outbound

This paper cites TVM: An Automated End-to-End Optimizing Compiler for Deep Learning.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories TVM: An Automated End-to-End Optimizing Compiler for Deep Learning

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-07-04T20:40:07.652905Z

Source-reported events for the cited work

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

Observation d2d2ec0a-f603-4b8b-87c4-ff9a75e73a96 · outbound

This paper cites Polyblocks: A compiler infrastructure for ai chips and programming frameworks.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Polyblocks: A compiler infrastructure for ai chips and programming frameworks

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:40:07.675391Z

Source-reported events for the cited work

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

Observation 129fe566-243c-4f87-8a69-59c970d4e300 · outbound

This paper cites A simple graph-based intermediate representation.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories A simple graph-based intermediate representation

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13f71ef5-f23c-4400-ad32-2c55e8150328 · outbound

This paper cites Abstract interpretation: A unified lattice model for static analysis of pro- grams by construction or approximation of fixpoints.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Abstract interpretation: A unified lattice model for static analysis of pro- grams by construction or approximation of fixpoints

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23f8820d-a171-4c3f-91c3-d31395d91db5 · outbound

This paper cites Systematic design of program analysis frameworks.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Systematic design of program analysis frameworks

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 236ee20e-f6cf-48b9-8db0-2448fa749be5 · outbound

This paper cites First-class verification dialects for MLIR.Proc.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories First-class verification dialects for MLIR.Proc

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc9d6c0e-b677-4e57-8110-bed7a2b3c947 · outbound

This paper cites The best of abstract interpretations.Proc.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories The best of abstract interpretations.Proc

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43f637e9-2f2d-4659-a9d5-db23196ca199 · outbound

This paper cites Towards a high-performance AI compiler with upstream MLIR.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Towards a high-performance AI compiler with upstream MLIR

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:40:07.673547Z

Source-reported events for the cited work

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

Observation 0d96fffb-e11b-4a29-8b21-299911cac70c · outbound

This paper cites an unresolved cited work.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98237c43-1f7c-4b6e-a17a-96c3830872d3 · outbound

This paper cites IREE: Retargetable MLIR-based machine learning compiler and runtime, 2024.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories IREE: Retargetable MLIR-based machine learning compiler and runtime, 2024

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68b50cca-f064-437e-8140-a53a49f3a4f4 · outbound

This paper cites Knuth and Peter B.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Knuth and Peter B

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54d10455-b390-421c-b3f5-165ff95c94a0 · outbound

This paper cites The claude c compiler: What it reveals about the future of software, February 2026.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories The claude c compiler: What it reveals about the future of software, February 2026

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dec2fda-bea2-4670-98ad-2248c181a49c · outbound

This paper cites Mlir: Scaling compiler infrastructure for domain specific computation.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Mlir: Scaling compiler infrastructure for domain specific computation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e2aa5b1-007e-4161-9fde-1b4baf8ef67b · outbound

This paper cites SSA translation is an abstract interpretation.Proc.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories SSA translation is an abstract interpretation.Proc

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c39d129f-a270-4f9b-86e5-67239a335621 · outbound

This paper cites Formal verification of a realistic compiler.Communications of the ACM, 52(7):107–115, 2009.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Formal verification of a realistic compiler.Communications of the ACM, 52(7):107–115, 2009

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99294c96-05b5-4ac7-9511-187366a3adca · outbound

This paper cites TinyIREE: An ML Execution Environment for Embedded Systems from Compilation to Deployment.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories TinyIREE: An ML Execution Environment for Embedded Systems from Compilation to Deployment

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:40:07.667349Z

Source-reported events for the cited work

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

Observation 9c0dbc5e-6099-4146-bb5f-f7305ca111fe · outbound

This paper cites Mlir lighthouse project.https://github.com/llvm/lighthouse, 2025.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Mlir lighthouse project.https://github.com/llvm/lighthouse, 2025

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80b7f640-ab95-4991-a22a-dd3d25589e6d · outbound

This paper cites The MLIR Transform Dialect. Your compiler is more powerful than you think.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories The MLIR Transform Dialect. Your compiler is more powerful than you think

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:40:07.661691Z

Source-reported events for the cited work

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

Observation e1a8d52b-9097-4cb5-b601-b51b459b2be5 · outbound

This paper cites Springer, New York, NY , USA, 1971.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Springer, New York, NY , USA, 1971

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26d780d4-f298-4099-85f0-d7a82075a71d · outbound

This paper cites Bibliopolis, Naples, Italy, 1984.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Bibliopolis, Naples, Italy, 1984

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e135e92-6975-4615-9870-b3118296e70f · outbound

This paper cites Ide-bench: Evaluating large language models as ide agents on real-world software engineering tasks.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Ide-bench: Evaluating large language models as ide agents on real-world software engineering tasks

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:40:07.670015Z

Source-reported events for the cited work

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

Observation 2db2fdfa-a8eb-45cb-8976-d20d3c31f713 · outbound

This paper cites E-Graphs as a Persistent Compiler Abstraction.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories E-Graphs as a Persistent Compiler Abstraction

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-08-04T02:40:09.452937Z

Source-reported events for the cited work

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

Observation 886e6e83-7774-44ec-a018-d068059010e8 · outbound

This paper cites Twenty years of rewriting logic.Journal of Logic and Algebraic Programming, 81(7-8):721–781, 2012.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Twenty years of rewriting logic.Journal of Logic and Algebraic Programming, 81(7-8):721–781, 2012

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a24ed12b-ef94-4aaa-8841-1e2bcc06f7c5 · outbound

This paper cites Prentice Hall, Hemel Hempstead, UK, 1990.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Prentice Hall, Hemel Hempstead, UK, 1990

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8095b687-b5a4-4213-a198-e8d0b9b7cd8c · outbound

This paper cites an unresolved cited work.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 974f6867-236e-4873-9de4-dd5c819e9b0a · outbound

This paper cites Cuda tile: A tile-based programming model and mlir-based compiler infrastructure for nvidia gpus.https://github.com/NVIDIA/cuda-tile, 2024.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Cuda tile: A tile-based programming model and mlir-based compiler infrastructure for nvidia gpus.https://github.com/NVIDIA/cuda-tile, 2024

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f58eb37-dd64-4c4e-84cc-52549d3a41e6 · outbound

This paper cites Pierce.Types and Programming Languages.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Pierce.Types and Programming Languages

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9d6613d-753f-4c00-9ca7-2122cc172936 · outbound

This paper cites an unresolved cited work.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7401d219-6cfe-4577-950b-1346874e8533 · outbound

This paper cites Halide: A language and compiler for optimizing parallelism, locality, and recomputation.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Halide: A language and compiler for optimizing parallelism, locality, and recomputation

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e802b7a4-159a-4c5d-82e2-34f60f0eb2b3 · outbound

This paper cites Decoding the Configuration of AI Coding Agents: Insights from Claude Code Projects.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Decoding the Configuration of AI Coding Agents: Insights from Claude Code Projects

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-07-04T20:40:07.664389Z

Source-reported events for the cited work

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

Observation 01ed394b-5bf4-41b7-add0-0be050c7144f · outbound

This paper cites an unresolved cited work.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a44cd14d-ea1e-46c0-807a-95b74a443b46 · outbound

This paper cites Scott and Christopher Strachey.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Scott and Christopher Strachey

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f5a4273-0538-461c-98c2-15c910a790a3 · outbound

This paper cites Aster: Mlir c++ tool for programmable and highly-controllable assembly production on amd gpus.https://github.com/iree-org/aster/tree/main, 2026.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Aster: Mlir c++ tool for programmable and highly-controllable assembly production on amd gpus.https://github.com/iree-org/aster/tree/main, 2026

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78168b1c-ec82-44c9-8735-43d5aa702698 · outbound

This paper cites an unresolved cited work.

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-25T19:57:12.657341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.