Paper Citation Record · LEDGER

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching

As of 21 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 3 inbound Pith citation observations for arXiv:2504.14340.

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

pith.paper-citation-record.v1
2504.14340 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:56:06.821237Z

measured 40 of 40 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 3 of 3 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: arxiv_reference, observed 2026-05-25T06:00:23.247028Z

Reference resolution

37 of 37 outbound references displayed

verified exact2
verified fuzzy1
unresolved33
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b099515d-db11-4323-a1bd-d05b60cb1fe6 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.609878Z

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 8ef4f255-0b36-4c37-8c25-30e5a426bff3 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.652843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a131a3a5-bb2f-4a92-aabb-ff0f5704db86 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-08-16T11:56:06.891743Z

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 19bfe619-d0a4-48e4-ba97-ef855f3d17d0 · outbound

This paper cites Cox, John Little, and Donal O’Shea.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Cox, John Little, and Donal O’Shea

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-16T11:56:06.663226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ff076df-c696-4d18-9e47-7a433a3992a8 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.594140Z

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 97684eec-0e7f-4d08-a79c-497c9e413e3d · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.579122Z

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 d08a2a4d-9721-460a-a344-440c6f3dc2c0 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.679527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0da70db8-8ca9-4b3e-a78e-127f73e26675 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.684042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 569807fa-8d9d-4b6a-bc8e-f2c39b9903f1 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.563964Z

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 d6ded904-21ce-4750-9b5b-2185dae2bbb8 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.547993Z

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 a2fe4215-2fe6-418d-a555-5a0644c01446 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.532820Z

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 21a53f65-4515-463c-938f-9530b734398b · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.703753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 576b7690-dfa7-4621-b5d7-7bc03966085d · outbound

This paper cites Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.708589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 260b2429-b614-45f5-a4f3-75d4ac8f77ca · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.517348Z

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 ee80e081-f05c-47e6-a7cf-e101a619b50b · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.501282Z

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 5c8ba5b9-ed27-466f-9ae4-9b4772c7a828 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.485647Z

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 0f6548f3-a928-4f34-b232-da6ace884879 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.470268Z

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 2b26a6c9-9702-45b5-9c21-4a66f06eecd4 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.455234Z

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 6207fbe1-eda7-45bf-8d80-83a5c5ba367c · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.440321Z

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 6c721938-c637-48cc-8c69-5e9823abb747 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.424583Z

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 b4ae8502-e861-4ee0-ba3b-44c31dbee59a · outbound

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

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Colored E-Graph: Equality Reasoning with Conditions

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.751001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67f23d68-7fd7-42d9-bb94-e86ded14a290 · outbound

This paper cites Sturmfels.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Sturmfels

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:56:07.409447Z

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 dc9e3534-e9b0-412c-b125-2f3ed533cd7e · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.393343Z

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 7c5a2259-e487-4e68-b3cc-44ce9a9cce20 · outbound

This paper cites Free Join: Unifying Worst-Case Optimal and Traditional Joins.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Free Join: Unifying Worst-Case Optimal and Traditional Joins

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-08-16T11:56:06.941892Z

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 9fb3db67-2df4-426b-a24c-ae8cb180324f · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.770212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ef5bea-d822-49e9-8679-b1c012bb7625 · outbound

This paper cites Relational E-Matching.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Relational E-Matching

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.775171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17cf847c-f192-4e3b-9a13-56e81d84ea43 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.377295Z

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 0d60d40b-5da7-445e-be70-76b931e2996c · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.362114Z

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 89cf01bb-4b1f-4af3-947e-1bbfa92c5cfb · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.345907Z

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 56c6a9a0-c375-4117-a69d-697b46099340 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.329317Z

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 679a268b-1cae-463f-a583-1e9186886848 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.313013Z

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 c4b959b1-2c44-4875-95e1-f90855b4b0dd · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.294808Z

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 50374f98-e904-4fee-892d-cd4158a2cf84 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.278599Z

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 aa76525e-6dc5-4e98-bf05-63ec6b972152 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.260584Z

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 db00e748-46a4-42a9-8003-c9b0f3276aa6 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.243814Z

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 02ccee77-abf8-4c8e-8f6c-2782d81f38a8 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:56:07.226681Z

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 46d8e013-e8e2-42e4-ac65-63ad4adb11b6 · outbound

This paper cites an unresolved cited work.

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching Unresolved cited work

Reference 288

Resolution: unresolved; no resolver link, observed 2026-08-16T11:56:06.732040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

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

Optimism in Equality Saturation cites this paper.

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-21T06:32:19.484+00:00.

Observation 3bcf05af-c0c9-4cd4-a8c0-00609b7cd93f · inbound

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

Rewrite System Showdown: Stochastic Search vs. EqSat Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-20T08:23:08.682986Z

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 744c47f8-567c-4058-a3b8-e82fafc99f90 · inbound

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

Rewrite System Showdown: Stochastic Search vs. EqSat Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-25T06:00:23.249210Z

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.