Paper Citation Record · LEDGER

Towards Relational Contextual Equality Saturation

As of 21 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 1 inbound Pith citation observation for arXiv:2507.11897.

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

pith.paper-citation-record.v1
2507.11897 v1

Coverage vector

measured 9 of 9 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:06:31.761128Z

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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-05-17T04:31:39.927726Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-17T04:34:02.180068Z

Reference resolution

9 of 9 outbound references displayed

verified exact0
verified fuzzy1
unresolved3
parse uncertain0
malformed identifier1
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2f000735-49f6-4db1-81ae-2bf4efd196dc · outbound

This paper cites Optimizing Stateful Dataflow with Local Rewrites.

Towards Relational Contextual Equality Saturation Optimizing Stateful Dataflow with Local Rewrites

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T17:06:32.158700Z

Source-reported events for the cited work

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

Observation fc5e44c6-8f7b-4a79-8111-ee1ddddebf0d · outbound

This paper cites Colored E-Graph: Equality Reasoning with Conditions.

Towards Relational Contextual Equality Saturation Colored E-Graph: Equality Reasoning with Conditions

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T17:06:31.544976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd51dedc-f44b-4738-a620-2875a67cc310 · outbound

This paper cites an unresolved cited work.

Towards Relational Contextual Equality Saturation Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T17:06:31.761128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3335a7d7-f671-4c1b-9a3b-f63f5d783c27 · outbound

This paper cites InProceedings of IEEE 9th International Conference on Data Engineering.

Towards Relational Contextual Equality Saturation InProceedings of IEEE 9th International Conference on Data Engineering

Reference 1993

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T17:06:32.533410Z

Source-reported events for the cited work

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

Observation 548c0d3b-378b-4eba-ae1f-978a4dcd41b8 · outbound

This paper cites IEEE Data Eng.

Towards Relational Contextual Equality Saturation IEEE Data Eng

Reference 1995

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:06:32.850883Z

Source-reported events for the cited work

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

Observation 8974231f-9f9b-4ee7-8598-c35150c37b95 · outbound

This paper cites Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals.

Towards Relational Contextual Equality Saturation Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals

Reference 2007

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T17:06:32.336042Z

Source-reported events for the cited work

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

Observation 60003585-8c64-4bb4-9afa-8458446446c4 · outbound

This paper cites In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Savannah, GA, USA) (POPL ’09).

Towards Relational Contextual Equality Saturation In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Savannah, GA, USA) (POPL ’09)

Reference 2009

Resolution: malformed identifier; no resolver link, observed 2026-08-06T17:06:31.601337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ca6dacb-6ff3-482d-a686-915e5198292e · outbound

This paper cites an unresolved cited work.

Towards Relational Contextual Equality Saturation Unresolved cited work

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-06T17:06:31.680865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 076df223-8823-4f44-bf82-87aedeefee82 · outbound

This paper cites Automating Constraint-Aware Datapath Optimization using E-Graphs.

Towards Relational Contextual Equality Saturation Automating Constraint-Aware Datapath Optimization using E-Graphs

Reference 2023

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T17:06:32.716934Z

Source-reported events for the cited work

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

Pith citing papers

Observation c0ca1ba0-5a48-4b2a-9138-7e445232ea71 · inbound

Optimism in Equality Saturation cites this paper.

Optimism in Equality Saturation Towards Relational Contextual Equality Saturation

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-17T04:34:02.181963Z

Source-reported events for the cited work

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