On Translations of Epsilon Proofs to LK.

Matthias Baaz Anela Lolic

Published in: LPAR (2024)

Keyphrases

theorem proving
machine translation
theorem prover
query translation
search algorithm
complexity analysis
mathematical knowledge
equational theories
mathematical proofs
neural network
evolutionary algorithm
sample complexity
machine translation system
lucas kanade
formal proof