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.
This talk will cover NVIDIA’s new wave of open AI models, data and tooling that enable researchers to build high‑performance, domain‑specialized systems. It will explore NVIDIA’s Nemotron family and broader open model ecosystem. From open weights and reproducible training recipes to safety, evaluation and deployment workflows, we will present how open models are accelerating innovation across language, robotics, biology, and agentic AI applications!
Zoe Ryan is a Solutions Architect at NVIDIA, working on the Higher Education and Research team. She works with researchers to GPU accelerate their numerical computing codes, build out robotic simulations, and optimize their code for large scale runs. She spends one day a week on the Stanford campus. Find her on Slack to talk about your own research!