A stock image with graphs and charts overlaid in bright colors over a black background.

Laboratory for Artificial Intelligence in Mathematics Education

The Laboratory for Artificial Intelligence in Mathematics Education aims to enhance large language models' mathematical reasoning and their applications in education – bridging the gap between human expertise and AI’s potential.

Our Mission

Improving math education is one of the principal problems in modern education, and given the central role of mathematics in all STEM fields, it represents a major challenge for modern society as a whole. It has been understood for some time that solving this problem requires technology, which may include AI.

There is currently a great deal of hype surrounding the capabilities of AI systems, notably large language models, but there is also reason to believe that AI systems will form the basis of transformative educational technology.

The Laboratory for Artificial Intelligence in Mathematics Education, which represents a collaboration between academia and industry, aims to conduct research that will help us understand, develop, and implement such technology.


Stevens Faculty to Lead AI and Mathematics Dialogues in 2026

In January 2026, researchers from the Laboratory for Artificial Intelligence in Mathematics Education will help drive national discussions at two major conferences.

At the Joint Mathematics Meetings (JMM 2026) in Washington, D.C., Eric Ramos, Alexei Miasnikov, and Jan Cannizzo will lead special sessions on AI in combinatorics and group theory. Meanwhile, at the International Symposium on Artificial Intelligence and Mathematics (ISAIM 2026) in Fort Lauderdale, Alexei Miasnikov will co-organize a session on AI in group theory—advancing how AI supports mathematical discovery.


Three students looking at a laptop with a bank of monitors on a wall behind them.

Ready to Transform Teaching Practices

This new collaboration with Stevens and Nebius Academy seeks to improve student performance, apply AI to solve open math problems, discover new hypotheses and test LLM technologies in math education.

An abstract close up of a mainboard electronic computer background with AI written on the left side.

Elevating AI Standards in Mathematics Education

In its pursuit of breakthroughs in thoughtful, responsible AI and math education, the lab has already achieved a milestone through the development of U-MATH, the largest university-level mathematics benchmark. Our participating faculty and our collaborators address this crucial step.


Collaborators

The Laboratory for Artificial Intelligence in Mathematics Education will leverage advanced computing resources in collaboration with Gradarius and Nebius AI.

Gradarius. Nebius AI.



"The work of the lab seeks to fundamentally transform mathematics education by developing AI-driven tools that adapt to individual learning styles, provide personalized instruction and offer new insights into mathematical reasoning.
Michael ZabarankinChair of the Department of Mathematical Sciences

Contacts

Alexei Miasnikov
Alexei Miasnikov
Director, Laboratory for AI in Mathematics Education and Professor, Department of Mathematical Sciences
Michael Zabarankin (mzabaran)
Michael Zabarankin
Professor and Department Chair of the Department of Mathematical Sciences
Jan Cannizzo
Jan Cannizzo
Teaching Associate Professor and Associate Chair for Undergraduate Studies in the Department of Mathematical Sciences

Members

Pavel Dubovski

Teaching Professor, Department of Mathematical Sciences

Robert Gilman

Professor Emeritus, Department of Mathematical Sciences

Andrey Nikolaev

Teaching Associate Professor, Department of Mathematical Sciences

Eric Ramos

Assistant Professor, Department of Mathematical Sciences

Paul Schwartz

Lecturer, Department of Mathematical Sciences

Alexander Ushakov

Associate Professor, Department of Mathematical Sciences

Zining Zhu

Assistant Professor, Department of Computer Science

Brett Berger

Ph.D. Candidate, Department of Mathematical Sciences

Joshua Birns

Ph.D. Candidate, Department of Mathematical Sciences

Shashidhar Reddy Javaji

Ph.D. Candidate, Department of Computer Science

Ethan Kalika

Master's Candidate, Department of Mathematical Sciences

Winston Lee

Ph.D. Candidate, Department of Mathematical Sciences

Anthony Lin

Ph.D. Candidate, Department of Mathematical Sciences


External Members

Lisa Carbone

Professor, Rutgers

Albert Garreta

Lead Cryptography Researcher, Nethermind

Olga Kharlampovich

Mary P. Dolciani Professor of Mathematics, Hunter College

Tatyana Khodorovskiy

Doctoral Lecturer, Hunter College

Alexei Lisitsa

Senior Lecturer, University of Liverpool

Alex Myasnikov

Software Engineer, Gradarius

Vladimir Shpilrain

Professor, City College

Vlad Stepanov

CEO, Gradarius

Alina Vdovina

Professor, City College