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
As AI agents become central to scientific discovery at the Center for Decoding the Universe, we need systematic evidence on when they aid replication and when they fail to do so. We will attempt to reproduce key results and analyses from research papers using AI agents, as well as directly with domain-expert scientists, documenting what works and what doesn't.
The day will consist of two morning keynotes, followed by hands-on hacking sessions, and will conclude with individual or team presentations.
We encourage you to join together with your research group, as this activity is particularly beneficial for students and postdoctoral researchers. We especially encourage you to bring a paper to replicate (ideally with available data/code).
Through this hackathon, we are also building community across KIPAC, SLAC, HAI/SDS, and CS while advancing our understanding of AI-enabled science.
Email datascience@stanford.edu from your Stanford account to receive the registration password.
| Time | Session Title | Speaker(s) |
| 09:00 - 09:30 AM | Registration & Light Breakfast | |
| 09:30 - 09:45 AM | Official Start & Welcome | Session Chairs: Risa Wechsler Marcelo Alvarez Kate Storey-Fisher Owen Queen |
| 09:45 - 10:45 AM | Lightning Pitches & Team Formation | |
| 10:45 - 11:25 AM | Keynotes: | |
| Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents | Jiacheng Miao, Stanford Data Science | |
| Reflections on the Present and Future of AI Capabilities | Siddharth Mishra-Sharma, Anthropic/Boston University | |
| 11:25 AM - 12:30 PM | Hack Session 1 | |
| 12:30 - 1:20 PM | Lunch & Informal Discussions | |
| 1:20 - 3:45 PM | Hack Session 2 | |
| 3:00 - 3:20 PM | “Fuel the Hack” with Coffee & Tea | |
| 3:45 - 4:15 PM | Wrap-up & Slide Preparation | |
| 4:15 - 5:00 PM | Share Out | Session Chair: Ioana Ciucă |
| 5:00 - 5:30 PM | Awards & Reception | Judging Committee: Risa Wechsler, Susan Clark, Yijia Shao, Jan Czalbowski, and Bartek Nowacki |
The hackathon is led by a dynamic organizing team: Marcelo Alvarez, Ioana Ciucă, Steven Dillmann, Owen Queen, Kate Storey-Fisher, and Christine Ye.
Advisors: Risa Wechsler, Susan Clark, and Ben Nachman.