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

Tickets are required to attend the conference in-person at Stanford University: https://sto.stanfordtickets.org/auxiliary/Reserve.aspx?p=8869 
The Women in Data Science (WiDS) initiative aims to inspire and educate data scientists worldwide, regardless of gender, and support women in the field. WiDS started as a conference at Stanford in November 2015. Now, WiDS includes a global conference, with 150+ regional events worldwide; a datathon, encouraging participants to hone their skills; and a podcast, featuring leaders in the field talking about their work, and their journeys. WiDS will be held at Stanford University, at 150+ regional events hosted by WiDS Ambassadors, and available via livestream. The 2019 program will feature fantastic speakers on a broad array of topics ranging from data ethics and privacy to cybersecurity to data visualization, and more.
More Information: