Paper Citation Record · LEDGER

Pattern Matching in AI Compilers and its Formalization (Extended Version)

As of 22 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2412.13398.

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

pith.paper-citation-record.v1
2412.13398 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T13:16:54.556331Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

31 of 31 outbound references displayed

verified exact1
verified fuzzy3
unresolved24
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation db8b9632-0363-40de-a209-389530a25a0e · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.402924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23bc16ab-d593-48e5-b8ae-209edc8a640e · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.408606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a49986a-11d7-481a-bf25-9ca1efa14bb8 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:55.569973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8df72cec-de8e-4d86-acbe-a2398bbaefc2 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.419428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34b199b2-7791-41e9-a0ad-f9565c80f6ec · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.429645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68bf2532-dc08-42c4-95d9-007f9994d42c · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:55.531119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d86f6d27-1422-4326-8b3e-5d4acfbdc278 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 7

Resolution: verified exact; raw_fallback, observed 2026-08-11T13:16:55.379109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8634c229-9076-4f09-9475-0630d8fea216 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:55.515460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6ed4d572-2ab9-41ef-be0d-f2beff34aece · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.450544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f003ac6e-0b4e-4b1e-a301-80c04bc88243 · outbound

This paper cites Gaussian Error Linear Units (GELUs).

Pattern Matching in AI Compilers and its Formalization (Extended Version) Gaussian Error Linear Units (GELUs)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.455387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b582d03-b099-4ba5-aab6-b665c6dec230 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.461135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 050f16cf-b1bb-4cf2-8a03-62e989b42a9b · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 12

Resolution: malformed identifier; doi_truncated, observed 2026-08-11T13:16:54.634085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation cdc66929-b3d7-4b18-9c6b-3ae542177fab · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 13

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T13:16:55.210518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6c81c8c3-4f86-4c3d-ab7d-18b85417d888 · outbound

This paper cites Miller and G.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Miller and G

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:55.499700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 69151ab7-e19c-440e-bfa7-5ddca8bde8e4 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.481083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c06b511-7f32-40a8-ab20-8c0c072c4452 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:55.483406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b49c5f77-85b9-4041-8a90-ab116a2dc399 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:55.467568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f0ea1600-aebd-48b5-b76e-111bc7f09f81 · outbound

This paper cites Kaufman, Vinod Grover, Emina Torlak, and Rastislav Bodik.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Kaufman, Vinod Grover, Emina Torlak, and Rastislav Bodik

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.496363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cb929c3-7918-4a4f-afaa-a65ddca28031 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.501935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2191326f-5b00-4dda-90c3-92614c1e9eec · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.506878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68c07c07-3f87-4da3-9cd9-401818dad975 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T13:16:54.948376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 530564b5-5633-4aad-9980-212a46c54947 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.516804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe375c4d-67ac-4dac-85c4-5e56735b4240 · outbound

This paper cites Lee, James Bornholt, and Adrian Sampson.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Lee, James Bornholt, and Adrian Sampson

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.522486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac3bdfe6-3346-4662-85c7-051e9438269f · outbound

This paper cites Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:55.442090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a046aafc-2693-40ab-afd3-e9008d585bd8 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:55.424484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c4468b4a-5d47-43f6-87bf-8cafe32c556b · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.541905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddfcd1d5-4187-4fd8-9a54-f1cc4e723d01 · outbound

This paper cites HuggingFace's Transformers: State-of-the-art Natural Language Processing.

Pattern Matching in AI Compilers and its Formalization (Extended Version) HuggingFace's Transformers: State-of-the-art Natural Language Processing

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.546532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58daeea7-78c9-47d6-8830-4e5f8ed578af · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.551755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 024c8a08-6f6d-4195-93d6-51b750a60333 · outbound

This paper cites an unresolved cited work.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.556331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09ed168e-98b3-4344-a792-9aa3e56a5c46 · outbound

This paper cites Theory and Practice of Logic Programming 12, 1-2 (2012), 67–96.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Theory and Practice of Logic Programming 12, 1-2 (2012), 67–96

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:55.407373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 04b78611-de3d-4728-b0de-c360eaab2398 · outbound

This paper cites Advances in Neural Information Processing Systems 35 (2022), 16344–16359.

Pattern Matching in AI Compilers and its Formalization (Extended Version) Advances in Neural Information Processing Systems 35 (2022), 16344–16359

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:54.424649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.