DIMACS | Center for Discrete Mathematics and Theoretical Computer Science
The primary website for the Theoretical Computer Science Seminar is here.
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/
This seminar runs every Monday during the semester at 2pm in Hill 705
The Graduate Combinatorics Seminar is organized by graduate students in the Mathematics Department to share knowledge and build community among those with interests in combinatorics at Rutgers. It has been running since 2008 and is sponsored by DIMACS.
Online Event
Each meeting centers on a presentation of recent work related to strategic matchings followed by informal discussion. The topics range from theoretical results to modelling papers to real-world experiments (e.g., school choice, NMRP, etc). To receive email notifications about upcoming
DIMACS visitor Zhicheng Zhang from University of Technology, Sydney kindly agreed to give a mini course on quantum recursive programs. The mini course will run Tuesdays and Thursdays, from Thursday, April 10 through Thursday, April 24, 2025 from 11 am
The Lean Theorem Prover is an interactive proof assistant, which is a software tool for formally writing and verifying mathematical proofs. Machine learning and Lean have been used together to automatically generate mathematical proofs in a process known as neural
