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

Join the Stanford Causal Science Center (SC²) on Friday, October 11th, 2024, for a one-day conference! This event is open to the Stanford Community and Stanford Data Science Affiliates*.
The program consists of presentations and posters by Stanford graduate students and postdoctoral scholars covering topics, such as methodology, applications, and more. This convening offers an opportunity for the community to learn more about the breadth of work, forge new connections, and help shape a path for the future success of SC².