Wednesday, 20 November 2019, 14:00 at CMS, MR14 – In my talk I will describe how theorem proving can be phrased as a reinforcement learning problem and provide experimental results with regard to various datasets consisting of mathematical problems ranging from SAT problems to simple arithmetic problems involving addition and multiplication, to theorem proving inspired by simplifications and rewritings …