Let's Verify Step by Step. - Hunter Lightman; Vineet Kosaraju; Yuri Burda; Harrison Edwards; Bowen Baker; Teddy Lee; Jan Leike; John Schulman; Ilya Sutskever; Karl Cobbe (ICLR, 2024)

OpenAI o1 System Card. - Aaron Jaech; Adam Kalai; Adam Lerer; Adam Richardson; Ahmed El-Kishky; Aiden Low; Alec Helyar; Aleksander Madry; Alex Beutel; Alex Carney; Alex Iftimie; Alex Karpenko; et al. (CoRR, 2024)

Competitive Programming with Large Reasoning Models. - Ahmed El-Kishky; Alexander Wei; Andre Saraiva 001; Borys Minaiev; Daniel Selsam; David Dohan; Francis Song; Hunter Lightman; Ignasi Clavera Gilaberte; Jakub Pachocki; Jerry Tworek; Lorenz Kuhn; et al. (CoRR, 2025)