Weekly research seminar at Rutgers on the use of Lean and other AI methods in Mathematics research held Wednesdays, 2–3 PM. The primary website for the Rutgers AI and Mathematics Seminar is https://ai-math-seminar.github.io/seminar/
Seminar Series Details
AI and Mathematics Seminar
- Start Date: September 24, 2024
- Seminar Type: Current Seminars
- Seminar Organizers:
Lisa Carbone, Rutgers University
Steven Creech, Rutgers University
Emily First, Rutgers University
Ian Jauslin, Rutgers University
Alex Kontorovich, Rutgers University
Konstantin Mischaikow, Rutgers University
Lirong Xia, Rutgers University
- Seminars:
October 28, 2026 | AI assistance in complex geometry
Time: 10:00 AM - 11:00 AM
Presenter(s): Michael Douglas, Harvard
Venue: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
October 14, 2026 | Adventures in Autoformalization (and what's next)
Time: 10:00 AM - 11:00 AM
Presenter(s): Wesley Pegden, CMU
Venue: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
October 7, 2026 | AI proof discovery and autoformalised libraries
Time: 10:00 AM - 11:00 AM
Presenter(s): Christopher Birkbeck (University of East Anglia)
Venue: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
September 30, 2026 | Bruknot: Learning Useful Constructions for Hard Unknots
Time: 10:00 AM - 11:00 AM
Presenter(s): Peter Zenz, Brown
Venue: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
September 16, 2026 | Euclidean Geometry, AI, and Teaching
Time: 10:00 AM - 11:00 AM
Presenter(s): Steven Creech, Rutgers
Venue: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
September 23, 2026 | Toward Reliable AI-Assisted Mathematics
Time: 10:00 AM - 11:00 AM
Presenter(s): Qihao Ye, Columbia
Venue: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
December 10, 2025 | Hybrid Learning Machines Bridge AI and Physical Modeling
Time: 2:00 PM - 3:00 PM
Presenter(s): Wuyang Chen - Simon Fraser University
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
December 3, 2025 | Verina: Benchmarking Verifiable Code Generation
Time: 2:00 PM - 3:00 PM
Presenter(s): Kaiyu Yang
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
November 12, 2025 | DeRL: Diverse Exploration Reinforcement Learning for Large Language Models
Time: 2:00 PM - 3:00 PM
Presenter(s): Chenyang An - Amazon
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
November 5, 2025 | O-Forge: A Verifiable, LLM-driven Framework for Proving Inequalities in Research Mathematics
Time: 2:00 PM - 3:00 PM
Presenter(s): Ayush Khaitan - Rutgers University
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
October 29, 2025 | LLM-ERM: Sample-Efficient Program Learning via LLM-Guided Search
Time: 2:00 PM - 3:00 PM
Presenter(s): Tomer Galanti - Texas A&M University
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
October 22, 2025 | Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date
Time: 2:00 PM - 3:00 PM
Presenter(s): Chi Jin - Princeton University
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
October 15, 2025 | A Survey on AI for Proof Assistants
Time: 2:00 PM - 3:00 PM
Presenter(s): Emily First - Rutgers University
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road
October 1, 2025 | An Introduction to Lean + AI for Research Mathematicians
Time: 2:00 PM - 3:00 PM
Presenter(s): Alex Kontorovich - Rutgers University
Venue: DIMACS Seminar Room | Rutgers University | CoRE Building, Room 431 | 96 Frelinghuysen Road