Paper Citation Record · LEDGER

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

As of 15 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 2 inbound Pith citation observations for arXiv:2505.09363.

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

pith.paper-citation-record.v1
2505.09363 v2

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T21:37:48.567173Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-17T05:07:13.598641Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

22 of 22 outbound references displayed

verified exact1
verified fuzzy1
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation ce3f4381-9af2-4a3a-8d74-e0aed1a39067 · outbound

This paper cites GCC, the GNU Compiler Collection - GNU Project.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting GCC, the GNU Compiler Collection - GNU Project

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:37:49.372586Z

Source-reported events for the cited work

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

Observation 65ebf903-359a-44d2-ba0b-f9a1c7cc362a · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:37:49.349653Z

Source-reported events for the cited work

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

Observation 96a58652-6efa-4616-b563-0fe269d77465 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:37:49.329669Z

Source-reported events for the cited work

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

Observation 79a41043-5cf9-4a0c-aab5-5c6c2e668c4c · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:37:49.313237Z

Source-reported events for the cited work

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

Observation d86ca3e2-4ebb-4aae-9f0a-dc3a40ba5069 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.460338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7374f53-f769-4fed-960f-2b06df562690 · outbound

This paper cites Constantinides, and Theo Drane.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Constantinides, and Theo Drane

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.465958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7ce32f7-09fb-4fa4-bd03-97008b3f405d · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.472112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a68ee01e-c6f3-4b71-8c50-e9583d394a48 · outbound

This paper cites Coward, L.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Coward, L

Reference 8

Resolution: verified exact; doi, observed 2026-08-15T21:37:48.656014Z

Source-reported events for the cited work

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

Observation 8f872fb9-6577-4839-bddd-d31bf28e2e1d · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.483861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 622cb4ae-24d3-4286-98a5-0670af204628 · outbound

This paper cites Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.493783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ddf0007-fdea-40e5-88ea-8433e64c2a83 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.499354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e635902b-cfcf-429e-9561-81efd3eae816 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:37:49.294443Z

Source-reported events for the cited work

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

Observation d729af5b-c5cb-4392-ab57-3d2a2b456925 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.516744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4d1cbff-2fea-4297-9111-e9f1c1a14ad1 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:37:49.278361Z

Source-reported events for the cited work

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

Observation b2e8a982-7a92-42ae-b46e-aa1ab18f2230 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.527871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8be1958e-571f-4059-b81d-f852b0bd849c · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.533582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77570b7e-83fb-461c-ba9c-8dacdd52994b · outbound

This paper cites Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.538664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d56a5fd8-5b27-40b5-9dd8-a145d4130603 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.545166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 897d0380-dfed-4b10-a6cd-2047e2428f04 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.550713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53f43371-b046-4b3e-a9af-ad7e2d835f2a · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.556327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25a2abd9-93c1-493b-b855-a3b6ea22db22 · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:37:49.260794Z

Source-reported events for the cited work

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

Observation 70d3434d-a087-4ff8-b3c7-98505e853b5b · outbound

This paper cites an unresolved cited work.

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Unresolved cited work

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-15T21:37:48.567173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation f00e2a16-f7f5-4845-86a3-6e9f5010a62b · inbound

Aquas: Enhancing Domain Specialization through Holistic Hardware-Software Co-Optimization based on MLIR cites this paper.

Aquas: Enhancing Domain Specialization through Holistic Hardware-Software Co-Optimization based on MLIR eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:09:03.468691Z

Source-reported events for the cited work

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

Observation 8195434f-fc02-4f82-976f-843e123ce74f · inbound

Practical Formal Verification for MLIR Programs cites this paper.

Practical Formal Verification for MLIR Programs eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Reference 39

Resolution: verified exact; arxiv_id, observed 2026-05-11T16:56:09.250993Z

Source-reported events for the cited work

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