The Higher-Order Prover Leo-III.

Alexander Steen Christoph Benzmüller

Published in: IJCAR (2018)

Keyphrases

higher order
natural images
theorem proving
high order
theorem prover
pairwise
automated theorem proving
lower order
markov models
markov random field
graphical models
conditional random fields
lambda calculus
databases
inference rules
object oriented
support vector