Towards the automatic mathematician
From MaRDI portal
Publication:2055841
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
theorem provingautomated reasoningmachine learningmathematical reasoningnatural language understanding
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)
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