System Demonstration: The Higher-Order Prover Leo-III.

Alexander Steen Christoph Benzmüller

Published in: ARQNL@IJCAR (2018)

Keyphrases

higher order
theorem proving
high order
natural images
markov models
pairwise
markov random field
low order
automated theorem proving
lower order
theorem prover
conditional random fields
digital libraries
case study
optimal solution
face recognition
artificial intelligence
information retrieval