Stanford
University
  • Stanford Home
  • Maps & Directions
  • Search Stanford
  • Emergency Info
  • Terms of Use
  • Privacy
  • Copyright
  • Trademarks
  • Non-Discrimination
  • Accessibility
© Stanford University.  Stanford, California 94305.
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
Center for Neural Data Science Seminar with Katrin Franke | Stanford HAI
Your browser does not support the video tag.
eventSeminar

Center for Neural Data Science Seminar with Katrin Franke

Status
Past
Date
Monday, May 04, 2026 4:00 PM - 5:30 PM PST/PDT
Location
Stanford Neurosciences Building, James Lin & Nisa Leung Seminar Room (E153), 290 Jane Stanford Way, Stanford, CA 94305
Attend Virtually
Share
Link copied to clipboard!

Related Events

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.

Nicholas Branigan | Non-ergodicity and Simpson’s paradox in neural correlates
SeminarOct 19, 20264:00 PM - 5:00 PM
October
19
2026

A Center for Neural Data Science Seminar Series

Event

Nicholas Branigan | Non-ergodicity and Simpson’s paradox in neural correlates

Oct 19, 20264:00 PM - 5:00 PM

A Center for Neural Data Science Seminar Series

More information on this week's seminar topic and speaker coming soon.

Happy Hour/Reception for Attendees

Seminars attendees are invited to stay for a happy hour reception after the seminar to continue the conversation with the speaker.

For additional information and upcoming events, please visit the seminar series page

Stay Connected!

Stay updated on groundbreaking insights from the Center for Neural Data Science by subscribing to the Center's listserv! Click here to subscribe: neural-data-science@lists.stanford.edu