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:
Ayush Khaitan, Rutgers University
- Seminars:
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