Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T14:50:47.695994Z
Paper Citation Record · LEDGER
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.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T14:50:47.695994Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
59 of 59 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation c27ba8fd-30d9-4a0b-a2b3-bf933ed5b19e · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions online" 'onlinestring :=
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e8bde33-4ea7-4f7f-b09f-1d3b7be689f5 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions write newline
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0d47fcf-aafc-4a9b-91b1-ba323972661a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions GPT-4 Technical Report
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e4366b3-eac9-46de-86bd-b59c9113e8cc · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 4
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.
Observation 7761aa7e-7f64-4e71-a4f4-7cd6564118d0 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 5
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 35831765-78b8-4cfb-9497-f5b787cfa87f · outbound
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
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2aa3ba51-f193-4dd8-83a9-d48e8c4e08eb · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions The Llama 3 Herd of Models
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1f543c8-700c-44c5-a44d-315cdc8dc42c · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 8
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.
Observation 79789f0f-274a-4a32-a1a6-908cd75e99d7 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 9
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.
Observation 433df3f9-5216-497a-9918-8b24c4ba2202 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 10
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.
Observation de8113e1-2efd-4ff3-afe6-f925b8d57497 · outbound
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
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f2a59cbb-6b17-46f5-bf64-6b8bfbefbc97 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions SimCSE: Simple Contrastive Learning of Sentence Embeddings
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c99f84c5-f029-4ebc-91b6-2da9b20dee95 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Injecting Numerical Reasoning Skills into Language Models
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3e044e26-5b82-48c4-b4db-3c2ff228980a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 14
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.
Observation cd6f7158-508c-4a7e-ad9a-7ae98528d69c · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions GPT-4o System Card
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f0d46223-99f2-4ad0-96c0-f06f12340eaa · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions OpenAI o1 System Card
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7e5a2689-3f58-4d09-bcd2-dc87dd2d6311 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Mistral 7B
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc1bbbc4-a4e0-4007-9c88-9d050122e18f · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 18
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.
Observation 64759458-7f0f-4c4f-8441-68753059651a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 19
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.
Observation ace9e2d3-9152-4e84-ae3f-bbdaa55015d1 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 20
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.
Observation e9ec1190-5165-433f-9e56-8cabd84994c3 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 21
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.
Observation 556b53d5-cc3b-4c12-aa3b-fe0bb4fea3ea · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Equation Embeddings
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27f747ec-be4a-4cfe-ae6b-09a8688d8f24 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Deep Learning for Symbolic Mathematics
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7f3a95e-9374-4cff-b5d2-f8416cd02f05 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b12ddc17-f2f8-4a4e-bc15-bd799cad95d0 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Decoupled Weight Decay Regularization
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation abc3e652-e376-4222-9c2e-c582a718bc0a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions SGDR: Stochastic Gradient Descent with Warm Restarts
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee21bdda-0db8-4ef0-8b10-5a0a51b31689 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 49b92052-07be-452a-ac46-e22b0aac7016 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 28
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.
Observation bafce831-0ba2-4696-af00-3fda22794347 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 29
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.
Observation 9b959aae-6b0e-4d7d-bcac-344a3d33ad57 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 30
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.
Observation 3f728638-a53e-4a68-ba11-73ec2401443a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 31
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.
Observation dd07cd7e-40ab-4320-b2dc-daef470fa528 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 32
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.
Observation 32cafce0-8380-4795-97e7-6948e04d5d94 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions A Survey in Mathematical Language Processing
Reference 33
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5aad4db8-dc48-41d8-9b6b-3029eaae4581 · outbound
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
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed1f954a-9214-40a3-9208-cc9507fc24dd · outbound
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
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 465a528b-bbad-4b65-a46e-60a1b60ade8a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Efficient Estimation of Word Representations in Vector Space
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 480c1089-0da1-49c1-9b29-a823413ab41a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Show Your Work: Scratchpads for Intermediate Computation with Language Models
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 418e0c05-fce0-4a56-8b76-a77e594a2e54 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Representation Learning with Contrastive Predictive Coding
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3428af52-13db-4ee3-93f8-edd9b9e16828 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Mathematical Language Processing Project
Reference 39
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.
Observation 337b4d48-322c-46f1-8125-c65c80cd2629 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions MathBERT: A Pre-Trained Model for Mathematical Formula Understanding
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f517091-32df-43a4-95d8-d97e655d1b7f · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5d8972f-1f1b-4054-8836-06197592adf3 · outbound
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
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.
Observation 22b3cf56-c6d6-43c8-bc16-c623c349ad65 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Query Auto Completion for Math Formula Search
Reference 43
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.
Observation 4ce1523d-cce4-45ee-9776-c2c050a54c3d · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0590e45f-79cd-474e-a3fb-ea22cfe9f72a · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Sequence to Sequence Learning with Neural Networks
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 66c5e504-6f1f-4929-811a-0b2cf067e720 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 46
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.
Observation 818f63a8-7252-405d-b28c-7ffcfcf6561e · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 47
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.
Observation eed4dfed-0e71-40ce-ac9b-06f9d9d0bbe2 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 48
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ad298d27-aa98-416a-a432-a76384bc08ac · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 49
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.
Observation 60e244ba-24c2-4d82-965c-031f53b9e5dc · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions NaturalProofs: Mathematical Theorem Proving in Natural Language
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 10a9c461-7017-4826-9c0a-430802aed17f · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 51
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.
Observation ddd7ba60-7f3d-402e-904d-d6f0e770df8d · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 52
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.
Observation 67d11e9e-1ca9-432a-b245-bb50afbdded4 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06c74f31-ce02-48f1-9f9e-d44ffb429021 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 54
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.
Observation 240c0eff-9ac3-41a1-bfa1-f66d052b1e95 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 55
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.
Observation 0bf3e3d5-086d-48fc-a6cb-67c3348d1292 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 56
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.
Observation 7afe3766-ee25-4f6d-9efa-831a6298a7c2 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 57
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.
Observation 8927ae0d-5777-4cf2-9554-e6235c69e7f7 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Mathematical Information Retrieval: Search and Question Answering
Reference 58
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0299956-9a5f-40ca-9d2e-ce809feb1943 · outbound
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions Unresolved cited work
Reference 59
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.
No inbound Pith citation observations are available.