Paper Citation Record · LEDGER

Optimism in Equality Saturation

As of 4 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 2 inbound Pith citation observations for arXiv:2511.20782.

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

pith.paper-citation-record.v1
2511.20782 v4

Coverage vector

measured 59 of 59 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-17T04:31:39.927726Z

measured 61 of 61 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+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-25T05:59:39.785230Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-05-25T06:00:23.237651Z

Reference resolution

59 of 59 outbound references displayed

verified exact33
verified fuzzy4
unresolved16
parse uncertain0
malformed identifier1
metadata mismatch5

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e3895a7a-24ff-49f2-9f97-8da468f334b8 · outbound

This paper cites Aho, Monica S.

Optimism in Equality Saturation Aho, Monica S

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T04:34:02.906285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 269c786d-27ef-4ac8-81a4-02ed25503d8a · outbound

This paper cites Alpern, M.

Optimism in Equality Saturation Alpern, M

Reference 2

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 86ca6ced-e9f6-4fb6-94e1-cafaed2b4b11 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.911743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c2705a84-ee58-468e-8556-e567496b5fa6 · outbound

This paper cites InProceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1(Rotterdam, Netherlands)(ASPLOS ’25).

Optimism in Equality Saturation InProceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1(Rotterdam, Netherlands)(ASPLOS ’25)

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T04:34:01.767419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1db432d1-ea43-46fa-bfe9-cb291300f554 · outbound

This paper cites Rustan M.

Optimism in Equality Saturation Rustan M

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T04:34:02.908924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4ff338dc-6d18-4006-b758-41c81f1d2c78 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 6

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation add761bb-9ca9-4fde-8829-eab45d7b7e02 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 7

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 55432daf-13f5-4376-9a18-8f8524f9060d · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.687491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a2c85f58-7a1a-42fa-9233-d0ec36c83d04 · outbound

This paper cites Abstract interpretation: A un iﬁed lattice model for static analysis of programs by construction or app roximation of ﬁxpoints.

Optimism in Equality Saturation Abstract interpretation: A un iﬁed lattice model for static analysis of programs by construction or app roximation of ﬁxpoints

Reference 9

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 75379027-ed3e-4c6e-afd4-4cb771bb5358 · outbound

This paper cites In: Aho, A.V., Zilles, S.N., Rosen, B.K.

Optimism in Equality Saturation In: Aho, A.V., Zilles, S.N., Rosen, B.K

Reference 10

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2ef2117a-1d71-424e-ac0f-9709c0a71b1c · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 11

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation f84a01df-34d7-4fcb-a592-3ad1137e7ce2 · outbound

This paper cites Constantinides, and Theo Drane.

Optimism in Equality Saturation Constantinides, and Theo Drane

Reference 12

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a9bc302e-778a-4642-8981-7a99aeafe69b · outbound

This paper cites Constantinides.

Optimism in Equality Saturation Constantinides

Reference 13

Resolution: malformed identifier; arxiv_id, observed 2026-05-17T04:34:02.143968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 717b2a60-3206-4b6a-a94f-0f42ab97b073 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.855504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 53c68a7f-9278-451a-b0e8-37732ef6daee · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 15

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0db52146-2420-4b69-a7d9-50a913b9c389 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.852215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9cbbab81-b46e-48a8-939e-961a36a4fd0d · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.849469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2a30d1ce-51aa-4151-a685-7affb5164908 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.858278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 74e71fbb-915e-433a-83ea-910b288ab0ce · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.722189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

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

This paper cites Towards Relational Contextual Equality Saturation.

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-04T06:34:03.388597+00:00.

Observation 6d0c5432-cec7-4a72-bcd9-43490e33b606 · outbound

This paper cites Monotone data ﬂow analysis fr ameworks.

Optimism in Equality Saturation Monotone data ﬂow analysis fr ameworks

Reference 21

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.719097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation fa926fd7-a0e7-443c-b161-dcef547beb3e · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.900215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 85f79b46-23d3-42ab-a1a9-dc4fbfeebbda · outbound

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

Optimism in Equality Saturation Mlir: Scaling compiler infrastructure for domain specific computation

Reference 23

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e6fb9d32-2d46-4e09-ba4e-8ccbefb97d16 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.649253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation cb48c0ef-b136-4220-8efa-faa5cab6b0c9 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 25

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 99a5592f-f0f2-4191-a0f6-819e35e3b3a6 · outbound

This paper cites ACM Program.

Optimism in Equality Saturation ACM Program

Reference 26

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.697823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a7a93396-a170-4ffc-8965-c0cd8c025b74 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.715750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation af5fb0cc-aab6-430d-9346-2a67786ab5ce · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 28

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2290dc58-bd4e-4493-9644-2fa198b31a18 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.890872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation eb8feda9-b340-4049-9e32-aac2b6d47bab · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.894067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 57be6030-2856-4b99-88d0-77b9a5f69493 · outbound

This paper cites The octagon abstract domain.Higher Order Symbol.

Optimism in Equality Saturation The octagon abstract domain.Higher Order Symbol

Reference 31

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.758666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 18a98bee-fea9-4177-abe2-a27a41253756 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 32

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.712304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a5ab8a6d-6bb0-49a8-b17e-dd6e0e451be2 · outbound

This paper cites Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock.

Optimism in Equality Saturation Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock

Reference 33

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T04:34:01.662324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5e8051fc-8536-4271-8dcc-618de9a47ed9 · outbound

This paper cites 1980.Techniques for program verification.

Optimism in Equality Saturation 1980.Techniques for program verification

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T04:34:02.897156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation f99c32f5-adc8-4a85-897c-e96d2eab1d87 · outbound

This paper cites Simplification by Cooperating Decision Procedures.

Optimism in Equality Saturation Simplification by Cooperating Decision Procedures

Reference 35

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 85daf113-e571-4dc0-9fbb-f16246795617 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.882578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e3ed4b6e-d026-48ba-ab3d-d38222a823b0 · outbound

This paper cites Wilcox, and Zachary Tatlock.

Optimism in Equality Saturation Wilcox, and Zachary Tatlock

Reference 37

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T04:34:01.733947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ad1511c9-7c1f-4668-9434-a1bfd592a07e · outbound

This paper cites 2016.SSA-based Compiler Design(1st ed.).

Optimism in Equality Saturation 2016.SSA-based Compiler Design(1st ed.)

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T04:34:02.887071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 82467e2e-8709-4bb0-9c97-f5afbf9a16fe · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.871182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation b236dec6-098c-44d2-a481-c728a754b325 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.694550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 36829465-2fc1-4d0d-a4e8-c09acf9d3747 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.878924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation dc2a6510-d619-4be1-96a4-8bda5cf81c36 · outbound

This paper cites A formal C memory model supporting integer-pointer casts.

Optimism in Equality Saturation A formal C memory model supporting integer-pointer casts

Reference 42

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 86b40f8e-4e1f-4c99-95da-c0cfa81307ab · outbound

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

Optimism in Equality Saturation Colored E-Graph: Equality Reasoning with Conditions

Reference 43

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 84e38321-a994-4d01-9ed3-2f48f515dba5 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 44

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.691155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4f78329a-55f5-4cd7-b7c7-95cb98e856b3 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.867162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 90018bd5-df59-4a1d-bc39-aaf718502194 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 46

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.745475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation bcc9cd78-d8e6-454d-8845-31fed73e649a · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 47

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9adbb3fb-1bb9-43e3-91e6-a50a0ac323d7 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.875161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c6c9e003-c909-4142-ae87-19c434593b11 · outbound

This paper cites Compilergym: Robust, performant compiler optimization environments for ai research.

Optimism in Equality Saturation Compilergym: Robust, performant compiler optimization environments for ai research

Reference 49

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T04:34:01.655408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation abb849ee-145c-4369-be3a-d02f8bb7b4dc · outbound

This paper cites 2020 , issue_date =.

Optimism in Equality Saturation 2020 , issue_date =

Reference 50

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T04:34:01.645111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1db003fc-410d-40f5-bea0-ad372572146d · outbound

This paper cites egg: Fast and Extensible Equality Saturation , url =.

Optimism in Equality Saturation egg: Fast and Extensible Equality Saturation , url =

Reference 51

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.683032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 258a2abc-d0cf-47db-96fe-1bab27ad4f01 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.863988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4e749671-8d6b-4352-87a6-506f7977b3b2 · outbound

This paper cites Equality Saturation for Tensor Graph Superoptimization.

Optimism in Equality Saturation Equality Saturation for Tensor Graph Superoptimization

Reference 53

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3969e78f-b16f-46e1-99ec-9d5bceb07be8 · outbound

This paper cites e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving.

Optimism in Equality Saturation e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

Reference 54

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c6b0f587-1104-41ee-99dd-7627a72e7368 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.860952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 23a9417c-fac3-4978-8225-ce6cbb353eab · outbound

This paper cites Better Together: Unifying Datalog and Equality Saturation , url =.

Optimism in Equality Saturation Better Together: Unifying Datalog and Equality Saturation , url =

Reference 56

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.724948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1c170efc-1f73-4df0-a7a6-df5f96d1ba02 · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 57

Resolution: verified exact; doi, observed 2026-05-17T04:34:01.665510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c2f434bb-d38d-441b-b43a-5c2f98f860ab · outbound

This paper cites an unresolved cited work.

Optimism in Equality Saturation Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-05-17T04:34:02.903059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation dd1b34db-8a01-49f3-af4f-8601b52b9fd2 · outbound

This paper cites Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching.

Optimism in Equality Saturation Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching

Reference 59

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

Observation 11d46f31-3955-4398-a3b1-3db84f3d577b · inbound

Rewrite System Showdown: Stochastic Search vs. EqSat cites this paper.

Rewrite System Showdown: Stochastic Search vs. EqSat Optimism in Equality Saturation

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-05-20T08:23:08.700415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 60115be7-3d58-40a4-a7e1-558c80789a93 · inbound

Rewrite System Showdown: Stochastic Search vs. EqSat cites this paper.

Rewrite System Showdown: Stochastic Search vs. EqSat Optimism in Equality Saturation

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-05-25T06:00:23.239786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.