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
The Bay Area Tech Economics Seminar is for 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, and in making connections with others in this broadly defined space.
The Bay Area Tech Economics Seminar is for 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, and in making connections with others in this broadly defined space.
As we navigate through this massive corpus of technical literature, four categories of ethical transgressions come to fore: Dataset curation, Modeling, Problem definitions and sycophantic tech-journalism. In this talk, we will explore specific examples in each of these categories with a strong focus on computer vision. The goal of this talk is to not just demonstrate the widespread usage of these datasets and models, but to also elicit a commitment from the attending scholars to either not use these datasets or models, or to insert an ethical caveat in case of unavoidable usage.