The Isabelle ENIGMA.

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

Published in: ITP (2022)

Keyphrases

theorem prover
natural deduction
inference rules
cut elimination
data mining
active learning
simulated annealing
decision problems
incomplete information