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 Center for Decoding the Universe (C4DU) Fall Forum brings together researchers in astrophysics, data science, AI/ML, and related fields to share recent progress, exchange ideas, and develop new collaborations. The Fall Forum will explore time-domain science in the era of Rubin, including time-series foundation models and experimental design and optimization. Together, these themes explore how we can learn from complex, evolving datasets and use that knowledge to guide what we observe or measure next.
Agenda Outline
12:00 - 1:00: Registration & Networking Lunch
1:00 - 1:15 PM: Welcome and Introduction from the Center's Leadership
1:15 - 2:50 PM: Presentations
2:50 - 3:20 PM: Coffee Break
3:20 - 5:00 PM: Experimental Session
5:00-6:00 PM: Reception & Posters