A marriage of formal methods and LLMs seeks to harness the strengths of both.

Anthony Bonato does not work for, consult, own shares in or receive funding from any company or organization that would benefit from this article, and has disclosed no relevant affiliations beyond ...

Fierce wars continue to rage around math instruction, but there are many practical changes we should make for mathematics students upon which most of us can probably agree, that could transform their ...

Mathematics has the potential to be a great equalizer. Compared with other scientific and technical fields, it requires few expensive physical resources. Sometimes, a whiteboard and a marker are all ...

I don’t typically write responses to other opinion pieces, but there was one two weeks ago about new techniques in elementary math education that has inspired me. The main complaint was that there are ...

You all know the score. A train leaves one city travelling at 35 miles per hour and another races toward it at 25 miles an hour from a city 60 miles away. How long do they take to meet in the middle?