Yejin Choi is the Dieter Schwarz Foundation Professor and HAI Senior Fellow at Stanford and a Senior Director at NVIDIA. She is MacArthur Fellow, AI2050 Senior Fellow, and named among Time 100 Most Influential People in AI in 2023. Her research studies language-model capabilities and limits, reasoning, knowledge discovery, symbolic methods, alignment, and AI safety.

Sébastien Bubeck is a researcher at OpenAI. He is Alfred P. Sloan Research Fellow, and recipient of multiple Best Paper Awards. His research spans the foundations of deep learning, optimization, language-model reasoning, scientific discovery with AI, and the limits of machine intelligence.

Joshua Tenenbaum is Professor of Computational Cognitive Science at MIT. He is MacArthur Fellow and AI2050 Senior Fellow. His research develops computational models of human learning, common-sense reasoning, causal inference, concept learning, and human-AI collaboration.

Timothy Gowers is the Royal Society Research Professor at the University of Cambridge. He is a Fields Medalist, Fellow of the Royal Society, and recipient of the Sylvester Medal. His research spans combinatorics, functional analysis, additive number theory, higher-order Fourier analysis, and new modes of mathematical collaboration in the AI era.

Alex Gu is a PhD student at MIT, a founding research lead at Math, Inc., and an NSF Graduate Research Fellow. He works on AI systems for programming and mathematics, including formal theorem proving, proof simplification, and language-model reasoning.

Graham Neubig is an Associate Professor in the Language Technologies Institute at CMU and Chief Scientist at OpenHands. He is a Blavatnik National Awards finalist and recipient of best paper awards. He works on code generation, software-development agents, multilingual processing, and real-world evaluation.

Jeremy Avigad is Professor of Philosophy and Mathematical Sciences at CMU, Director of the Hoskinson Center for Formal Mathematics, and Director of the Institute for Computer-Aided Reasoning in Mathematics. He is a foundational figure in the Lean ecosystem, serving on the Lean FRO board and contributing significantly to mathematical logic, formal verification, interactive theorem proving, and proof-assistant formalization.

Kevin Ellis is an Assistant Professor of Computer Science at Cornell University and NSF CAREER award recipient. His research focuses on program synthesis, neuro-symbolic AI, library learning, abstraction, and systems that learn interpretable programs and concepts.

Nada Amin is an Assistant Professor of Computer Science at Harvard SEAS and recipient of a PLDI Distinguished Paper Award. Her research combines programming languages and AI to build correct-by-construction systems for program synthesis, proof synthesis, verification, and mathematical discovery.