The Isabelle ENIGMA.

Zarathustra Amadeus Goertzel Jan Jakubuv Cezary Kaliszyk Miroslav Olsák Jelle Piepenbrock Josef Urban

Published in: CoRR (2022)

Keyphrases

theorem prover
natural deduction
first order logic
theorem proving
inference rules
artificial intelligence
general purpose
sufficient conditions