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
• Yash Jhaveri, Postdoc
• Kirill Khvenkin, Graduate student
• Ben Sheller, Assistant Professor, Drake University
• Pei Wang, Machine learning scientist, Merck
• Junqi (Jesse) Wang
• Takumi Kijima, Grad student

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

Publications   Alumni