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)

zbMATH Keywords

deep learningmachine learningautomated theorem provingproof verificationhuman-machine interactionsequential calculusminimal predicate logic

Mathematics Subject Classification ID

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

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)