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 ...

Abstract: Research on geometry problem solving is gaining increasing attention in the field of Natural Language Processing (NLP). Currently, research in geometry problem solving often relies on formal ...

There is a tendency to imagine genius as smooth and uninterrupted. As if the great thinkers moved from one insight to the next without pause. Albert Einstein does not quite fit that picture. For all ...

The original version of this story appeared in Quanta Magazine. All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in ...