Guy is an Associate Professor and Samueli Fellow at UCLA, where he directs the Statistical and Relational Artificial Intelligence (StarAI) lab. His research interests are in machine learning (e.g. probabilistic programming), knowledge representation and reasoning (e.g., probabilistic inference), and artificial intelligence in general.

Xinyun Chen is a senior research scientist at Google DeepMind. Her research interests are large language models, code generation, and AI security. She obtained her Ph.D. degree in Computer Science from UC Berkeley in 2022, and her B.S. degree in Computer Science from ACM Honored Class, Shanghai Jiao Tong University. She also spent time in Meta AI Research and National Institute of Informatics.

Noah D. Goodman is Assistant Professor of Psychology, Linguistics (by courtesy), and Computer Science (by courtesy) at Stanford University. He received his Ph.D. in mathematics from the University of Texas at Austin in 2003. In 2005 he entered cognitive science, working as Postdoc and Research Scientist at MIT. In 2010 he moved to Stanford where he runs the Computation and Cognition Lab. He studies the computational basis of human thought, merging behavioral experiments with formal methods from statistics and logic. Specific projects vary from concept learning and language understanding to inference algorithms for probabilistic programming languages.

Timothy Gowers is a prominent British mathematician known primarily for his research in functional analysis and combinatorics. He was awarded the Fields Medal in 1998 for his contributions to the theory of Banach spaces.

Mateja is a full Professor of Artificial Intelligence in the Department of Computer Science and Technology (Computer Laboratory) at the University of Cambridge, UK. She is interested in human intuitive reasoning and wants to make computers think intuitively too.

Moa is currently an Associate Professor (Docent) at the Departement of Computer Science and Engineering at Chalmers University. Her research interests include a diverse mix of applications of AI: from mathematics and automated reasoning to sports science and natural language processing for political science.

Kristin Estella Lauter is a renowned American mathematician and cryptographer, currently she is the West Coast Head of Research Science for Facebook AI Research (FAIR). She was a Partner Research Manager at Microsoft Research for 22 years. Before that, She worked as an assistant Professor of Mathematics at the University of Michigan.

Talia Ringer is an Assistant Professor with the PL/FM/SE group at Illinois. Prior to Illinois, Dr. Talia earned a PhD in 2021 from the University of Washington, working with the PLSE group. Dr. Talia likes to build proof engineering technologies to make the world a reality. In doing so, Dr. Talia loves to use the whole toolbox --- everything from dependent type theory to program transformations to neural proof synthesis --- all in service of real humans.

Paul Smolensky is a partner researcher in the Deep Learning Group and part-year Krieger-Eisenhower Professor of Cognitive Science at Johns Hopkins University. His research focuses on integrating symbolic and neural network computation for modeling reasoning and, especially, grammar in the human mind/brain.

Armando Solar-Lezama is a professor at MIT where he leads the Computer Aided Programming Group. His research interests include software synthesis and its applications in diverse areas such as high-performance computing, information flow security and probabilistic programming.

Tony was a senior research scientist at Google and a postdoctoral scholar at Stanford, mentored by Percy Liang and Jay McClelland. He was a Google Ph.D. Fellow in machine learning and a co-creator of AlphaStar. He is currently focusing on building machines that can reason and do math in a way as abstract and creative as humans.

Eric is the President and University Professor of Mohamed bin Zayed University of Artificial Intelligence (MBZUAI). Prior to current commitment, he was a professor in the School of Computer Science at CMU. He works on machine learning, computational biology, and statistical methodology.

Denny is the founder and lead of the Reasoning Team in Google Brain, aiming to revolutionize machine learning by introducing reasoning to address challenges such as learning from few examples or instructions only, enhancing interpretability, and handling out-of-distribution/domain generalization.