2 papers
cs.LG2025
No LLM Solved Yu Tsumura's 554th Problem
Simon Frieder, William Hart
We show, contrary to the optimism about LLM's problem-solving abilities, fueled by the recent gold medals that were attained, that a problem exists -- Yu Tsumura's 554th problem --…
cs.GR2024
Newclid: A User-Friendly Replacement for AlphaGeometry
Vladmir Sicca, Tianxiang Xia, Mathïs Fédérico +3
We introduce a new symbolic solver for geometry, called Newclid, which is based on AlphaGeometry. Newclid contains a symbolic solver called DDARN (derived from DDAR-Newclid), which…