Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
Sessions run Wednesdays from 4:30–5:30 PM in CoDa E160. Each session features a different Stanford speaker; talk titles are announced by the organizers.

Sessions run Wednesdays from 4:30–5:30 PM in CoDa E160. Each session features a different Stanford speaker; talk titles are announced by the organizers.
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.

Join the Stanford Causal Science Center (SC²) on Thursday, November 16, 2023, for a one-day conference at Fisher Conference Center in Arrillaga Alumni Center
The program consists of presentations and posters by Stanford graduate students and postdoctoral scholars working on a breadth of causal science topics, from methodology to applications. This convening offers an opportunity for the community to learn more about the breadth of work happening at Stanford, to forge new connections, and to help shape a path for the future success of SC².
The full agenda is available here
See examples of previous year's conferences in 2021 and 2022