Pith. sign in

Paper Citation Record · LEDGER

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions

As of 11 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2501.14951.

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

pith.paper-citation-record.v1
2501.14951 v2

Coverage vector

measured 59 of 59 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T14:50:47.695994Z

measured 59 of 59 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

59 of 59 outbound references displayed

  • verified exact3
  • verified fuzzy0
  • unresolved55
  • parse uncertain0
  • malformed identifier1
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c27ba8fd-30d9-4a0b-a2b3-bf933ed5b19e · outbound

This paper cites online" 'onlinestring :=.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions online" 'onlinestring :=

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.399811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.399811Z digest=sha256:79cda3041621f0363f2ad389d9372d096cbcc669b8cda5e8b382662c7c0a8e93

Observation 2e8bde33-4ea7-4f7f-b09f-1d3b7be689f5 · outbound

This paper cites write newline.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions write newline

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.405954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.405954Z digest=sha256:4e26a3f0b83b679d9d13edf1168f2b227e54518095219cc2e39a9ff15239dfbe

Observation b0d47fcf-aafc-4a9b-91b1-ba323972661a · outbound

This paper cites GPT-4 Technical Report.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions GPT-4 Technical Report

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.412165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.412165Z digest=sha256:7054588b87148f09007f5ff2105562857e852519270a63f88ea08941aef28f65

Observation 8e4366b3-eac9-46de-86bd-b59c9113e8cc · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.657233Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.417473Z digest=sha256:3b093123fee1175b08b5169476a966fdb5db19c8113601629d947b4711f3486b

Observation 7761aa7e-7f64-4e71-a4f4-7cd6564118d0 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.423260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.423260Z digest=sha256:e3fb8ab7e07896dbb4fd62f6f3b101af5aafe0d9bab5688613f6da997a401e92

Observation 35831765-78b8-4cfb-9497-f5b787cfa87f · outbound

This paper cites Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.428549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.428549Z digest=sha256:e9623faf9022621bf695916dfb34fde15a52339c38b8c1a3e10dd014f49c76a7

Observation 2aa3ba51-f193-4dd8-83a9-d48e8c4e08eb · outbound

This paper cites The Llama 3 Herd of Models.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions The Llama 3 Herd of Models

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.434153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.434153Z digest=sha256:52e33f578eb459bb7c3256508deff21ccfcb14f8dd5501915be27211dbefb19e

Observation f1f543c8-700c-44c5-a44d-315cdc8dc42c · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.629884Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.439255Z digest=sha256:88a688fe39bf90cd70d6b2bb7f45558929481e3c490410b3238038cc33a02b8a

Observation 79789f0f-274a-4a32-a1a6-908cd75e99d7 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.613340Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.445123Z digest=sha256:53a7dd86ce0c1c7dc8c905c0c55c6b7df95fe169f4c01dfa1300f5b410ecc8ee

Observation 433df3f9-5216-497a-9918-8b24c4ba2202 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.596888Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.450226Z digest=sha256:ed6471cc2e8b883d94614153edb1485107d619b13932259e5d79df886f7cc58f

Observation de8113e1-2efd-4ff3-afe6-f925b8d57497 · outbound

This paper cites Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.456608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.456608Z digest=sha256:d283d0d75b7beaba39ec11747d1ecab7ca56e02709485acf0f840f7aab647b2c

Observation f2a59cbb-6b17-46f5-bf64-6b8bfbefbc97 · outbound

This paper cites SimCSE: Simple Contrastive Learning of Sentence Embeddings.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions SimCSE: Simple Contrastive Learning of Sentence Embeddings

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.462069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.462069Z digest=sha256:c51b4f593cc796d793cba06f03c948bf955938527d1275bce9b0f826869886f1

Observation c99f84c5-f029-4ebc-91b6-2da9b20dee95 · outbound

This paper cites Injecting Numerical Reasoning Skills into Language Models.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Injecting Numerical Reasoning Skills into Language Models

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.466958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.466958Z digest=sha256:011e2655cc6511c8d1c456cc307595403fac34285d76cd98999a84f5458ad5e5

Observation 3e044e26-5b82-48c4-b4db-3c2ff228980a · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 14

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.579009Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.472158Z digest=sha256:692f88648d56f6626a51357fc89332d9bf1fb519163dff7a8342e953c5568c76

Observation cd6f7158-508c-4a7e-ad9a-7ae98528d69c · outbound

This paper cites GPT-4o System Card.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions GPT-4o System Card

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.477024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.477024Z digest=sha256:5ab688f8d59d06310ad74f571c4d9218623672af77dc17b8eb812ee6a73d97fb

Observation f0d46223-99f2-4ad0-96c0-f06f12340eaa · outbound

This paper cites OpenAI o1 System Card.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions OpenAI o1 System Card

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.482237Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.482237Z digest=sha256:c2976a79531417abf86f90c31a3811b81fafd9dbe800ceff3b21d22ff807edcb

Observation 7e5a2689-3f58-4d09-bcd2-dc87dd2d6311 · outbound

This paper cites Mistral 7B.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Mistral 7B

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.487275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.487275Z digest=sha256:3570f02ff7d5708874f3bc36f9f5e7eba3111888f14bc0358d412a6cef8cb324

Observation dc1bbbc4-a4e0-4007-9c88-9d050122e18f · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.562951Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.492136Z digest=sha256:8db88d188e40053ed2ae33c32eb70c479e54c25f16b9b8b41c173c35f17afe15

Observation 64759458-7f0f-4c4f-8441-68753059651a · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.547156Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.497200Z digest=sha256:a1d03ada40b8e13be903211b0b2ea43cbf4d75393f7edea3c4abd0d8a3147b13

Observation ace9e2d3-9152-4e84-ae3f-bbdaa55015d1 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.530835Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.501871Z digest=sha256:e50c6ccac58904f1dfaffe7b8cac8b02ccb8f0909693e63942454f2d8dc35128

Observation e9ec1190-5165-433f-9e56-8cabd84994c3 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.515111Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.506495Z digest=sha256:9c6466d823b38be1e8e735bbd97ad9ebd5d3a8fafb3d8d493c20a663606e2b12

Observation 556b53d5-cc3b-4c12-aa3b-fe0bb4fea3ea · outbound

This paper cites Equation Embeddings.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Equation Embeddings

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.511146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.511146Z digest=sha256:903332e4b603b362bfe399a97609faa5f40df9632964941f44a9c88a5b095c75

Observation 27f747ec-be4a-4cfe-ae6b-09a8688d8f24 · outbound

This paper cites Deep Learning for Symbolic Mathematics.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Deep Learning for Symbolic Mathematics

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.516174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.516174Z digest=sha256:71e262e75e1c390506c18bc5aee78d18f8e30b157321a4f64e7dee4618974090

Observation d7f3a95e-9374-4cff-b5d2-f8416cd02f05 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.521325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.521325Z digest=sha256:d9e8c0de7ec7f7c41fc7cd6f32206778fa78e14c62e47f80da4952a023150af8

Observation b12ddc17-f2f8-4a4e-bc15-bd799cad95d0 · outbound

This paper cites Decoupled Weight Decay Regularization.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Decoupled Weight Decay Regularization

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.526287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.526287Z digest=sha256:1f86511907c74c5bdef89f4c43b9c59e86992f0070a39c9bb4e64e1b5fbf6513

Observation abc3e652-e376-4222-9c2e-c582a718bc0a · outbound

This paper cites SGDR: Stochastic Gradient Descent with Warm Restarts.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions SGDR: Stochastic Gradient Descent with Warm Restarts

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.531304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.531304Z digest=sha256:422792c331048490e1bf34e3a04409745f0229eaba8f15d87a1a0ff98caa6e94

Observation ee21bdda-0db8-4ef0-8b10-5a0a51b31689 · outbound

This paper cites MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.536421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.536421Z digest=sha256:c8218567ab99a14b34c7ef4331bd849cd5d94300c96c3e90a2e65cf9f150c795

Observation 49b92052-07be-452a-ac46-e22b0aac7016 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.487701Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.541601Z digest=sha256:29c817f983da138d5490e72d7cdb0fbc0a8f1d2a171825cd3c0961324277863f

Observation bafce831-0ba2-4696-af00-3fda22794347 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.471605Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.546653Z digest=sha256:28dd1c29cd8168fb931bcd70e4b97b52333bf81016a7d96393477066474e72fe

Observation 9b959aae-6b0e-4d7d-bcac-344a3d33ad57 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.455358Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.551383Z digest=sha256:4174ad8971f5302fffb33183c9261b506c771bad21d9d4d193f555909d83c028

Observation 3f728638-a53e-4a68-ba11-73ec2401443a · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.439155Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.556123Z digest=sha256:cf29aa8bc0ab35df09b34383578652ccc2ed76b49d5f15e1ad3dbf78222a0e44

Observation dd07cd7e-40ab-4320-b2dc-daef470fa528 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.422961Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.560900Z digest=sha256:2485a8d75553e7340518652b2c222ec06ca9e9495d3f5996fb73e37eaa485b26

Observation 32cafce0-8380-4795-97e7-6948e04d5d94 · outbound

This paper cites A Survey in Mathematical Language Processing.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions A Survey in Mathematical Language Processing

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.565625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.565625Z digest=sha256:a170196a2350b6c11efc6254019981d251eeb5dde9fc01c449a8fc8770a7c5ff

Observation 5aad4db8-dc48-41d8-9b6b-3029eaae4581 · outbound

This paper cites SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.570731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.570731Z digest=sha256:7224cfd6cbc0a9e35e094ff4bc46e73de49cd7632c2a7cba0e42f8c3812fbc10

Observation ed1f954a-9214-40a3-9208-cc9507fc24dd · outbound

This paper cites Smith, Mateusz Paprocki, Ond r ej C ert\' i k, Sergey B.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Smith, Mateusz Paprocki, Ond r ej C ert\' i k, Sergey B

Reference 35

Resolution
malformed identifier
no resolver link, observed 2026-08-10T14:50:47.576196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.576196Z digest=sha256:3d2299b64020e3cca49312abe10f8d650e849a5d53d6ee8889f2e571cf175561

Observation 465a528b-bbad-4b65-a46e-60a1b60ade8a · outbound

This paper cites Efficient Estimation of Word Representations in Vector Space.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Efficient Estimation of Word Representations in Vector Space

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.581097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.581097Z digest=sha256:8a5fbc6f05f830d05aefff6eafaaf8757691b238fd3ed738ede576cf7c0048cb

Observation 480c1089-0da1-49c1-9b29-a823413ab41a · outbound

This paper cites Show Your Work: Scratchpads for Intermediate Computation with Language Models.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Show Your Work: Scratchpads for Intermediate Computation with Language Models

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.586246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.586246Z digest=sha256:e664091e8d4905af2273f9ece9ec1ff8819a7a0f155e7e6016f386cf1f182af0

Observation 418e0c05-fce0-4a56-8b76-a77e594a2e54 · outbound

This paper cites Representation Learning with Contrastive Predictive Coding.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Representation Learning with Contrastive Predictive Coding

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.591479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.591479Z digest=sha256:085d8b98dfa101db3123b05b86d695e01ef0b16bfcd5f0344e5bad3c6cbae421

Observation 3428af52-13db-4ee3-93f8-edd9b9e16828 · outbound

This paper cites Mathematical Language Processing Project.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Mathematical Language Processing Project

Reference 39

Resolution
verified exact
local_arxiv, observed 2026-08-10T14:50:47.874142Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.596341Z digest=sha256:455c0c23ae891bf96015be4c593a5d9f4ad12974e98ec7df0f51da9b2ff3a04f

Observation 337b4d48-322c-46f1-8125-c65c80cd2629 · outbound

This paper cites MathBERT: A Pre-Trained Model for Mathematical Formula Understanding.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions MathBERT: A Pre-Trained Model for Mathematical Formula Understanding

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.601291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.601291Z digest=sha256:cc05f937163912924ba9d366608128b6f60dcccdea86cf6dab929ae5ccfb52fe

Observation 5f517091-32df-43a4-95d8-d97e655d1b7f · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.606201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.606201Z digest=sha256:0d64a9e525f376498d680abef2fc01c58d151b54fad36825cef68adf69ac44be

Observation e5d8972f-1f1b-4054-8836-06197592adf3 · outbound

This paper cites AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities

Reference 42

Resolution
verified exact
local_arxiv, observed 2026-08-10T14:50:47.835285Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.611017Z digest=sha256:8c2fae1c960b061320388cfe53b8bd040c829d026ecd0e2a58d1166e9a04aa6c

Observation 22b3cf56-c6d6-43c8-bc16-c623c349ad65 · outbound

This paper cites Query Auto Completion for Math Formula Search.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Query Auto Completion for Math Formula Search

Reference 43

Resolution
verified exact
local_arxiv, observed 2026-08-10T14:50:47.812079Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.616304Z digest=sha256:8eb4590b6406f88503d1588ab526405dcbcb6585219dac13230e51d2376dd691

Observation 4ce1523d-cce4-45ee-9776-c2c050a54c3d · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.621379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.621379Z digest=sha256:a0d8b60bff0142164e73b31c6191c74e88a166fd76b1b0962656fa02ca51cb4c

Observation 0590e45f-79cd-474e-a3fb-ea22cfe9f72a · outbound

This paper cites Sequence to Sequence Learning with Neural Networks.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Sequence to Sequence Learning with Neural Networks

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.625993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.625993Z digest=sha256:896eb9d4f6928efca107eb0e7e95cdb44eaf3395c324792f68722e671ebdd541

Observation 66c5e504-6f1f-4929-811a-0b2cf067e720 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.384233Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.630974Z digest=sha256:de79b691ab8fa7b20f26d68353a37dbe4945059fa5ee5d40c03ab60f5aaba55d

Observation 818f63a8-7252-405d-b28c-7ffcfcf6561e · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.368444Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.635904Z digest=sha256:89fb07e65940a3a52a77e7c187e62768ddb501c51001b75aa91d97e57c4e8b50

Observation eed4dfed-0e71-40ce-ac9b-06f9d9d0bbe2 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.640676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.640676Z digest=sha256:cf21807ac9193aacb9ee439c346067fd3ef5b959f72b7711bd3b3432fdbc8551

Observation ad298d27-aa98-416a-a432-a76384bc08ac · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.340752Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.645509Z digest=sha256:75d582c9a9e71ef61fbe265bbcf3b86da2792a0377b39eed829ef904d3bef5b1

Observation 60e244ba-24c2-4d82-965c-031f53b9e5dc · outbound

This paper cites NaturalProofs: Mathematical Theorem Proving in Natural Language.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions NaturalProofs: Mathematical Theorem Proving in Natural Language

Reference 50

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.650274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.650274Z digest=sha256:db44bc66c2b456b1683ccdd40cef3c4ca5d83d7ca88c37759fbc7b93a4e50fee

Observation 10a9c461-7017-4826-9c0a-430802aed17f · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 51

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.324182Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.655626Z digest=sha256:035a3a90743ee1cfd6c5c21ffd4c8f35e9753d01dd3b329d0dfe53e7d3fe076b

Observation ddd7ba60-7f3d-402e-904d-d6f0e770df8d · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.308368Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.660665Z digest=sha256:a8e2fe586e6f1061525e62631bccc2981830a5692c9724c288828f47742136f4

Observation 67d11e9e-1ca9-432a-b245-bb50afbdded4 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.665592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.665592Z digest=sha256:576593066211e41ed22392c65d6c319bef4b04a0f194591cf0d7f78cfcee242d

Observation 06c74f31-ce02-48f1-9f9e-d44ffb429021 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.280205Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.671138Z digest=sha256:5b442424661266741a7bb79d8781dfb8d4de8cf3413556b4a69915dab019a966

Observation 240c0eff-9ac3-41a1-bfa1-f66d052b1e95 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 55

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.263474Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.675918Z digest=sha256:162e82d5db8bd858bd4ce88df3fe2603cde8a3669c0ec6eedaaffeef97221fa9

Observation 0bf3e3d5-086d-48fc-a6cb-67c3348d1292 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 56

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.247588Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.680847Z digest=sha256:0378f7a43874671b458c63c8f97d7ac0c8f282cfe408c192485bd4c54f8ebaa5

Observation 7afe3766-ee25-4f6d-9efa-831a6298a7c2 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.231529Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.685588Z digest=sha256:fb64f54f78199d77c395abf8e1c87c93620e7e2e4570fc5e43ddbbe72639366f

Observation 8927ae0d-5777-4cf2-9554-e6235c69e7f7 · outbound

This paper cites Mathematical Information Retrieval: Search and Question Answering.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Mathematical Information Retrieval: Search and Question Answering

Reference 58

Resolution
unresolved
no resolver link, observed 2026-08-10T14:50:47.690558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-10T14:50:47.690558Z digest=sha256:924001186068b5a734886b38c2dba1a40740508af83962135f52e77fb33c27cd

Observation d0299956-9a5f-40ca-9d2e-ce809feb1943 · outbound

This paper cites an unresolved cited work.

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-10T14:50:48.214274Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-10T14:50:47.695994Z digest=sha256:1d542ea815241165cb10dc79aa5c7a3556f09ae60d2aa5f88c5561b8f4d5b7f1

Pith citing papers

No inbound Pith citation observations are available.