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
This talk will cover how to use NVIDIA GPUs and GPU-accelerated techniques to efficiently index, update and search massive code-bases with over 100M lines of code. Building an index slashes tokens by nearly 70% without compromising speed or accuracy in vibe coding.
Rohan is a Senior Solutions Architect at NVIDIA, working with enterprise partners on Generative AI adoption. In his previous role, he worked on the autonomous vehicles team at NVIDIA and prior to that, founded a startup working on advanced driver assistance systems (ADAS) for trucking fleets. Rohan earned a Master's degree in Robotic Systems Development from Carnegie Mellon University.
James is a Senior Solutions Architect on the NVIDIA Media and Entertainment SA team focused on the intersection of AI and video games. James earned his Master's degree in Data Analytics from Pennsylvania State University. Outside of work, he is a passionate snowboarder and gamer.