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
On April 29, 2025, Stanford Data Science will host its fourth annual conference, a dynamic gathering showcasing the cutting-edge work of faculty and early-career Stanford researchers. The agenda is available on the main conference page
This daylong event is designed to spark ideas, foster interdisciplinary collaboration, and strengthen our data science community by bringing together faculty, postdocs, students, and staff from across disciplines. Don’t miss this opportunity to connect, learn, and break down traditional silos in the pursuit of data-driven discovery.