Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.

The equations that mathematicians use ... to solve other problems in this area. As for the bora-blown waves outside Maspero’s office window, and their eventual decline into flat water—at the moment, ...

Abstract: Though quite challenging, training a deep neural network for automatically solving Math Word Problems (MWPs) has increasingly attracted attention due to its significance in investigating how ...