We study math using AI and AI using math. We are in the Department of Mathematics and Computer Science at Rutgers University--Newark. Graduate students do coursework in pure mathematics to complement our research efforts.

Our team includes:

• Patrick Shafto, PI
• Kirill Khvenkin, Graduate student
• Takumi Kijima, Grad student

Our research has been supported by NSF, NIH, DARPA, DoD, and the intelligence community.

Publications   Alumni