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.
Stanford Data Science is hosting its second annual conference in 2023! This full-day conference will take place on Stanford's campus on May 10th, 2023, and features work from early career researchers at Stanford, working in various aspects of data science, to increase our sense of community, exchange ideas, and foster interdisciplinary collaboration. SDS aims to bring together faculty, postdocs, students, and staff in this daylong event which is designed to cross-disciplinary silos and connect people who are learning from data.
