Improving Automation for Higher-Order Proof Steps.

Antoine Defourné

Published in: FroCoS (2021)

Keyphrases

higher order
higher order logic
high order
pairwise
natural images
markov random field
theorem prover
low order
geometry theorem proving
database
multi step
markov models
theorem proving
control system
evolutionary algorithm
databases
real time