Ben Liu is a quantitative problem solver. Liu has modeled aspects of cells and measured the limits of cardio-electrophysiological models as an undergraduate in RIT’s School of Mathematical Sciences.

A key part—though surely not the only part—of early-grades math is ensuring students get the basic arithmetic functions down and, beyond that, making sure they’re able to swiftly and automatically ...

Mathematical language processing and problem solving represent a confluence of artificial intelligence, natural language processing and symbolic reasoning, aiming to bridge the gap between human ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

Math-M-Addicts students eagerly dive into complex math problems during class. In the building of the Speyer Legacy School in New York City, a revolutionary math program is quietly producing some of ...

Mathematics is often regarded as the ideal domain for measuring AI progress effectively. Math’s step-by-step logic is easy to track, and its definitive automatically verifiable answers remove any ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...