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
Speaker: Emma Brunskill, Associate Professor of Computer Science, Stanford University
The logistics details for each seminar will be provided to registered participants. Sign up here to be included on the mailing list and learn about future events.
This talk is co-sponsored by USF's Master's in Applied Economics and the Stanford Causal Science Center. For additional information and abstracts from past talks, please click here
6:30 – 7:00 PM: Networking Reception
7:00 – 8:30 PM: Speaker Presentation followed by Q&A
This event brings together graduate-trained economists and other quantitative social scientists from academia, policy, or the private sector who are interested in the tech economy and methods for analyzing it. Each seminar will feature a guest speaker who will present on their work and research, with discussion and questions encouraged throughout. This broadly defined space also offers an opportunity to make connections with others in the field.