Stanford
University
  • Stanford Home
  • Maps & Directions
  • Search Stanford
  • Emergency Info
  • Terms of Use
  • Privacy
  • Copyright
  • Trademarks
  • Non-Discrimination
  • Accessibility
© Stanford University.  Stanford, California 94305.
Center for Decoding the Universe Quarterly Forum | Stanford HAI
Skip to content
  • About

    • About
    • People
    • Get Involved with HAI
    • Support HAI
    • Subscribe to Email
  • Research

    • Research
    • Research Programs
    • Grants
    • Marlowe (opens in new tab)
    • Student Affinity Groups
    • Centers & Labs
    • Research Publications
    • Research Partners
  • Education

    • Education
    • Executive and Professional Education
    • Government and Policymakers
    • K-12
    • Stanford Students
  • Policy

    • Policy
    • Policy Publications
    • Policymaker Education
    • Student Opportunities
  • AI Index

    • AI Index
    • AI Index Report
    • Global Vibrancy Tool
    • People
  • News
  • Events
  • Industry
  • Centers & Labs

Stay Up To Date

Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.

Sign Up For Latest News

Navigate
  • About
  • Events
  • AI Glossary
  • Careers
  • Search
Participate
  • Get Involved
  • Support HAI
  • Contact Us
Your browser does not support the video tag.
event

Center for Decoding the Universe Quarterly Forum

Status
Past
Date
Wednesday, October 29, 2025 12:00 PM - 6:00 PM PST/PDT
Location
Simonyi Conference Center, CoDa, 389 Jane Stanford Way, Stanford, CA 94305
Attend Virtually
Share
Link copied to clipboard!
Event Contact
datascience@stanford.edu

Related Events

Marlowe | AI + Data for Science with Curtis Langlotz
SeminarOct 14, 2026
October
14
2026

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.

Event

Marlowe | AI + Data for Science with Curtis Langlotz

Oct 14, 2026

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.

Serena Wang: From Metric Selection to Metric Discovery in AI Evaluation
SeminarOct 16, 20261:00 PM - 2:15 PM
October
16
2026
Seminar
Your browser does not support the video tag.

Serena Wang: From Metric Selection to Metric Discovery in AI Evaluation

Oct 16, 20261:00 PM - 2:15 PM
Carina Hong | AI That Can Prove It: From Mathematical Discovery to Verified Software
Oct 19, 202612:00 PM - 1:00 PM
October
19
2026

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.

Event

Carina Hong | AI That Can Prove It: From Mathematical Discovery to Verified Software

Oct 19, 202612:00 PM - 1:00 PM

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.

Please note: Attendance is limited to Stanford affiliates.

The Center for Decoding the Universe brings together researchers across scientific disciplines to answer the biggest questions about our Universe by leveraging complex data with the most advanced computational methods.

Agenda 

Time

Sessions

Speaker(s)

12:00 - 1:00 PMLunch & Discussion 
1:00 - 1:05 PMIntroduction and WelcomeRisa Wechsler
1:05 - 2:35 PMSession 1: Forward Modeling the Universe 
1:05 - 1:20 PMTowards an astrophysical foundation modelKate Storey-Fisher
1:20 - 1:35 PMFoundation models in imagingGordon Wetzstein
1:35 - 1:50 PMFoundation models in particle physicsBen Nachman
1:50 - 2:30 PMDiscussion: What challenges do we need to solve to make foundation models useful for astrophysical discovery? 
2:30 - 2:55 PMPoster Presenter Lightning Talks 
2:55 - 3:20 PMBreak & Posters 
3:20 - 5:00 PMSession 2: Agentically Discovering the Universe 
3:20 - 3:35 PMThe Big Picture: AI Agents in the Research WorkflowJames Zou
3:35 - 3:50 PMReplicationBench: Possibilities and ChallengesChristine Ye
3:50 - 4:05 PMSocial and cultural impact of AI agentsAngèle Cristin
4:05 - 4:12 PMTowards Automated Data-Driven Discovery in Astrophysics with Agentic AIOwen Queen
4:12 - 4:19 PMalphaXivSteven Corley
4:20 - 5:00 PMDiscussion: How do we design agents that are true partners in research? 
5:00 - 6:00 PMReception & Posters