Phoster

Research and Development

Artificial Intelligence and Mathematics

Introduction

An Essay on the Psychology of Invention in the Mathematical Field by Jacques Hadamard, The Psychology of Advanced Mathematical Thinking by David Tall, What is Mathematical Thinking by Robert J. Sternberg, Mathematical Thinking and Learning by Herbert P. Ginsburg, Joanna Cannon, Janet Eisenband and Sandra Pappas, Neuroscience of Mathematical Cognitive Development: From Infancy Through Emerging Adulthood by Rhonda D. Brown, Mathematical Problem Solving by Alan H. Schoenfeld, How to Solve It: A New Aspect of Mathematical Method by George Polya, The Computer Modelling of Mathematical Reasoning by Alan Bundy, Modelling the Way Mathematics is Actually Done by Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio and Gabriela R. Nesin and Proof Assistants: History, Ideas and Future by Herman Geuvers.

Knowledge Representation and Reasoning

Deep Neural Solver for Math Word Problems by Yan Wang, Xiaojiang Liu and Shuming Shi, Deep Learning for Symbolic Mathematics by Guillaume Lample and François Charton and Analysing Mathematical Reasoning Abilities of Neural Models by David Saxton, Edward Grefenstette, Felix Hill and Pushmeet Kohli.

Theorem Proving

Learning from Previous Proof Experience: A Survey by Jörg Denzinger, Matthias Fuchs, Christoph Goller and Stephan Schulz, Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts by Jörg Denzinger and Stephan Schulz, Reinforcement Learning of Theorem Proving by Cezary Kaliszyk, Josef Urban, Henryk Michalewski and Miroslav Olšák, Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning by Gil Lederman, Markus N. Rabe and Sanjit A. Seshia, DeepMath - Deep Sequence Models for Premise Selection by Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Een, François Chollet and Josef Urban, Deep Network Guided Proof Search by Sarah M. Loos, Geoffrey Irving, Christian Szegedy and Cezary Kaliszyk, Generative Language Modeling for Automated Theorem Proving by Stanislas Polu and Ilya Sutskever, Learning to Prove with Tactics by Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar and Michael Norrish and Hierarchical Invention of Theorem Proving Strategies by Jan Jakubův and Josef Urban.