Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.

A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A Center for Neural Data Science Seminar Series

A Center for Neural Data Science Seminar Series
The Stanford Quantitative Sciences Unit and Stanford Data Science are pleased to present a new series of symposia focused on Al for Data Science.
Please join us for an engaging and interactive symposium where world experts on Al for Data Science will gather to discuss numerous topics including:
How Al can be integrated into the workflow of data scientists to gain efficiency and advance translational research
The challenges and solutions of integrating Al into the workflow concerning rigor and ethics
The implications of Al integration on training the next generation of data scientists, and more
