Towards the automatic mathematician

DOI10.1007/978-3-030-79876-5_2OpenAlexW3178940883MaRDI QIDQ2055841

Markus N. Rabe, Christian Szegedy

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_2

zbMATH Keywords

theorem provingautomated reasoningmachine learningmathematical reasoningnatural language understanding

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Natural language processing (68T50) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

CoProver: a recommender system for proof construction

Cites Work

• Unnamed Item
• Discovering governing equations from data by sparse identification of nonlinear dynamical systems
• MPTP-motivation, implementation, first experiments
• ATPboost: learning premise selection in binary setting with ATP feedback
• ENIGMA: efficient learning-based inference guiding machine
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• Deep Network Guided Proof Search
• TacticToe: Learning to Reason with HOL4 Tactics
• A FORMAL PROOF OF THE KEPLER CONJECTURE
• A Machine-Checked Proof of the Odd Order Theorem

This page was built for publication: Towards the automatic mathematician