Getting started with proving math theorems through reinforcement learning

An experiment at MIT's Brains, Minds, and Machines Lab

September 2019