Pith. sign in

Paper Citation Record · LEDGER

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

As of 10 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-10T06:31:04.303077+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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.417473Z digest=sha256:7dc4bdb117f6acf1f36a8d559fef42653e93655add608cfda4fdf91917237381

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.445123Z digest=sha256:992933b7f02a6887c71a4bdd1b689a79a53be556336913605b9ac102f89bf463

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.492136Z digest=sha256:03cea01420a7353fed5d0cffb9a7c821b2610a30969912eb17fb396cf8f411f2

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.506495Z digest=sha256:42f09249265e25150e48a17b697c2ab720dbecaef126c04bbb4d80826a3a1694

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:6a13a1c9845210c0507ea14f75fd1935e55ebd39598384d0d10df6dbaa7dbd28

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.546653Z digest=sha256:9fc437c2ed63ab20f8a3591e9b34d5b6da61f965b796fb675c4bcc549cefd172

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.551383Z digest=sha256:309bebe0f1fe1e911c73c1a577ca8c93eff49da8577c6325630c760e35630805

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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:c189fdf24ded52d08ecb55513446381cf4e6973023e9a03e1e12548713439d82

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.596341Z digest=sha256:1b229aa8d0f6c6c633d7552d61db8f5f2033ecd9a6ddcd36052f56d15ca00689

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.616304Z digest=sha256:03e488796e51abece24df366524aa103eca98293a736eceba51a5114f40c3eff

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.635904Z digest=sha256:1714f6362b8ca89719f65d2d65a1733353c66b4414acc53cb7c88db5aa2fc6ee

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.645509Z digest=sha256:8521aa1fdd74ed152f7fcca159c68b754e8f4c7bd5163ce7ae447c3988b99d0c

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.655626Z digest=sha256:46b110b7949efadeba3c6f19d46d9c75b3c9f3a356ffd980f128a63798d02434

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.671138Z digest=sha256:42ca5fa881a84f80e0e3926100e54ca85e9088a6e87a8b04d07858a21a31a560

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-10T14:50:47.675918Z digest=sha256:42e755be3c15e761beda6ff2e020b52ce0db415dd0e2aec77475a4c1025cad01

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.