Lightman, Hunter

Let's Verify Step by Step

Lightman, H., Kosaraju, V., Burda, Y., Edwards, H., Baker, B., Lee, T., Leike, J., Schulman, J., Sutskever, I., & Cobbe, K. (2023) · arXiv

Topic ModelingMachine Learning and Algorithms

Cited by 65

OpenAI o1 System Card

OpenAI, :, Jaech, A., Kalai, A., Lerer, A., Richardson, A., El-Kishky, A., Low, A., Helyar, A., Madry, A., et al. (2024) · arXiv

Adversarial Robustness in Machine LearningEthics and Social Impacts of AI

Cited by 50

OpenAI GPT-5 System Card

Singh, A., Fry, A., Perelman, A., Tart, A., Ganesh, A., El-Kishky, A., McLaughlin, A., Low, A., Ostrow, A., Ananthram, A., et al. (2026) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 26

Competitive Programming with Large Reasoning Models

OpenAI, :, El-Kishky, A., Wei, A., Saraiva, A., Minaiev, B., Selsam, D., Dohan, D., Song, F., Lightman, H., et al. (2025) · arXiv

Teaching and Learning ProgrammingAI-based Problem Solving and Planning

Cited by 6