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.
Free, Stanford Only
Join Stanford Data Science for our first Stanford-wide event. This day-long conference will provide an occasion for faculty, scholars, and students working on a variety of aspects of data science to come together to increase our sense of community and shared intellectual goals. The conference includes panels, presentations, and short talks that offers participants the opportunity to learn from one another and discuss the future of data science and its application in stimulating new discoveries.
We will wrap up the day with a reception and poster session from our PhD student Data Science Scholars and Postdoctoral Fellows.
Learn more at the Conference site »