An e-graph-based data generator produces 55 million equivalent-expression training pairs, and embeddings trained on them beat prior math-embedding models and GPT-4o on several symbolic math tasks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LG 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
An e-graph-based data generator produces 55 million equivalent-expression training pairs, and embeddings trained on them beat prior math-embedding models and GPT-4o on several symbolic math tasks.