3 papers
cs.CL2025
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
Michael Shalyt, Rotem Elimelech, Ido Kaminer
Large language models (LLMs) are increasingly applied to symbolic mathematics, yet existing evaluations often conflate pattern memorization with genuine reasoning. To address this…
cs.AI2024
Unsupervised Discovery of Formulas for Mathematical Constants
Michael Shalyt, Uri Seligmann, Itay Beit Halachmi +3
Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for…
cs.AI2023
Algorithm-assisted discovery of an intrinsic order among mathematical constants
Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual +6
In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans wo…