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.
The Berkeley-Stanford Veridical Data Science Workshop is focused on showcasing and promoting veridical (truthful) data science (VDS) for reproducible, reliable data analysis and decision-making. It intends to build a community of veridical data science researchers for trustworthy data science, machine learning, and artificial intelligence. The discussions will promote opportunities for statisticians and data scientists to identify important VDS research topics and critical applications in academia and industry. Graduate students and early career researchers will benefit from this conference to find future research directions. Learn more about the workshop and view the full agenda
This workshop is jointly hosted by:
Berkeley Institute of Data Science (BIDS) and the Department of Statistics, parts of UC Berkeley's College of Computing, Data Science, and Society (CDSS)
Stanford Data Science Center for Open and REproducible Science (SDS-CORES)