Adaptive human-machine theorem proving system

DOI10.35634/2226-3594-2024-64-02MaRDI QIDQ6973163zbMATH OpenFDO

Authors Milad Joudakizadeh, Anatoly Petrivich Beltiukov

Publication date 11 June 2025

Published in Izvestiya Instituta Matematiki i Informatiki. Udmurtskiĭ Gosudarstvennyĭ Universitet (Search for Journal in Brave)

Full work available at URL https://doi.org/10.35634/2226-3594-2024-64-02

zbMATH Keywords

automated theorem provingdeep learninghuman-machine interactionmachine learningminimal predicate logicproof verificationsequential calculus

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• ATPboost: learning premise selection in binary setting with ATP feedback
• Constructive proof theory and nonstandard analysis. Edited by G. E. Mints
• scientific article; zbMATH DE number 3183054 (Why is no real title available?)
• Isabelle. A generic theorem prover
• TacticToe: learning to prove with tactics
• The seventeen provers of the world. Foreword by Dana S. Scott..
• Über das Prinzip tertium non datur.

This page was built for publication: Adaptive human-machine theorem proving system

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