作者位次 #8/18NeurIPS 2026Poster
We Need to Improve Benchmarks in AI for Mathematics
Simon Frieder · Jonas Bayer · Shi Zhuo Looi · Jacob Loader · Julius Berner · Katie Collins · Andras Juhasz · Fabian Ruehle · Sean Welleck · Gabriel Poesia · Ionut Mistreanu · Ryan-Rhys Griffiths · Adrian Weller · Anirudh Goyal · Thomas Lukasiewicz · Cameron Freer · Kevin Buzzard · W. T Gowers