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…