Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.

Chad E. Brown Cezary Kaliszyk Karol Pak

Published in: ITP (2019)

Keyphrases

formal proof
higher order
high order
pairwise
natural images
theorem prover
markov models
markov random field
conditional random fields
lower order
data sets
artificial intelligence
multiscale
optimal solution
knowledge representation