Towards the automatic mathematician

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

Authors: Markus Rabe, Christian Szegedy 

Publication date: 1 December 2021

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

Recommendations

• Deep network guided proof search
• Deepalgebra -- an outline of a program
• Learning2Reason
• A promising path towards autoformalization and general artificial intelligence
• Automated proof synthesis for the minimal propositional logic with deep neural networks

zbMATH Keywords

machine learningtheorem provingautomated reasoningmathematical reasoningnatural language understanding

Mathematics Subject Classification ID

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

Cites Work

• MPTP-motivation, implementation, first experiments
• ATPboost: learning premise selection in binary setting with ATP feedback
• TacticToe: learning to reason with HOL4 tactics
• Discovering governing equations from data by sparse identification of nonlinear dynamical systems
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• A machine-checked proof of the odd order theorem
• Title not available (Why is that?)
• ENIGMA: efficient learning-based inference guiding machine
• Deep network guided proof search
• A formal proof of the Kepler conjecture

Cited In (23)

• Machine learning and information theory concepts towards an AI mathematician
• A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
• Generative AI and accuracy in the history of mathematics
• Deep network guided proof search
• Property invariant embedding for automated reasoning
• Deepalgebra -- an outline of a program
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Mathematics by machine
• Title not available (Why is that?)
• Large language models for mathematicians
• Deep learning for math knowledge processing
• First experiments with neural translation of informal to formal mathematics
• Machine learning and the continuum hypothesis
• Advancing mathematics by guiding human intuition with AI
• Automating formalization by statistical and semantic parsing of mathematics
• Title not available (Why is that?)
• Solving arithmetic mathematical word problems: a review and recent advancements
• Automated proof synthesis for the minimal propositional logic with deep neural networks
• Mathematical reasoning and the computer
• A formal proof of the expressiveness of deep learning
• A formal proof of the expressiveness of deep learning
• CoProver: a recommender system for proof construction
• Title not available (Why is that?)

This page was built for publication: Towards the automatic mathematician

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055841)