Evaluating Language Models for Mathematics through Interactions

Katherine M. Collins‚ Albert Jiang‚ Simon Frieder‚ Lionel Wong‚ Miri Zilka‚ Umang Bhatt‚ Thomas Lukasiewicz‚ Yuhuai Wu‚ Joshua B. Tenenbaum‚ William Hart‚ Timothy Gowers‚ Wenda Li‚ Adrian Weller and Mateja Jamnik