1 paper · 1 filter
Jeffrey Lai, Anthony Bao, John Quinn +1
Reasoning allows artificial intelligence models to revisit and correct their mistakes, enabling recent frontier advances in mathematical theorem solving, software engineering, and…