Skip to main content

Utility navigation

  • Calendar
  • Contact
  • Login
  • MAKE A GIFT
Berkeley University of California
Home Home

Main navigation

  • Home
  • Programs & Events
    • Research Programs
    • Workshops & Symposia
    • Public Lectures
    • Research Pods
    • Internal Program Activities
    • Algorithms, Society, and the Law
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
  • Participate
    • Apply to Participate
    • Plan Your Visit
    • Location & Directions
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Circles
    • Breakthroughs Workshops and Goldwasser Exploratory Workshops
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
  • News & Videos
    • News
    • Videos
  • About
Image
Logo for SLMath and Simons joint workshop

Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science

Location

Calvin Lab auditorium

Date
Monday, Apr. 7 – Friday, Apr. 11, 2025
Back to calendar

Breadcrumb

  1. Home
  2. Workshop & Symposia
  3. Videos

Secondary tabs

  • The Workshop
  • Schedule
  • Videos
Remote video URL
Workshops

Machine Learning for Algorithm Design

Visit talk page
Remote video URL
Workshops

Solving Semidecidable Problems in Group Theory

Visit talk page
Remote video URL
Workshops

Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery

Visit talk page
Remote video URL
Workshops

How can Machine Learning Help Mathematicians?

Visit talk page
Remote video URL
Workshops

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

Visit talk page
Remote video URL
Workshops

Adventures with an Automatic Prover

Visit talk page
Remote video URL
Workshops

Testing Artificial Mathematical Intelligence

Visit talk page
Remote video URL
Workshops

Proof Assistants for Logic, Computability, and Complexity

Visit talk page
Remote video URL
Workshops

Challenges in State-of-the-Art Bit-Precise Reasoning

Visit talk page
Remote video URL
Workshops

Lean for the Research Mathematician (Virtual Talk)

Visit talk page
Home
The Simons Institute for the Theory of Computing is the world's leading venue for collaborative research in theoretical computer science.

Footer

  • Programs & Events
  • About
  • Participate
  • Workshops & Symposia
  • Contact Us
  • Calendar
  • Accessibility

Footer social media

  • Twitter
  • Facebook
  • Youtube
© 2013–2025 Simons Institute for the Theory of Computing. All Rights Reserved.
link to homepage

Main navigation

  • Home
  • Programs & Events
    • Research Programs
    • Workshops & Symposia
    • Public Lectures
    • Research Pods
    • Internal Program Activities
    • Algorithms, Society, and the Law
  • People
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicators in Residence
    • Law and Society Fellows
  • Participate
    • Apply to Participate
    • Plan Your Visit
    • Location & Directions
    • Postdoctoral Research Fellowships
    • Law and Society Fellowships
    • Science Communicator in Residence Program
    • Circles
    • Breakthroughs Workshops and Goldwasser Exploratory Workshops
  • Support
    • Annual Fund
    • Funders
    • Industrial Partnerships
  • News & Videos
    • News
    • Videos
  • About

Utility navigation

  • Calendar
  • Contact
  • Login
  • MAKE A GIFT
link to homepage