Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.
Christoph BenzmüllerDavid FuenmayorAlexander SteenGeoff SutcliffePublished in: CoRR (2022)
Keyphrases
- automated theorem provers
- higher order
- computer algebra
- high order
- markov random field
- pairwise
- natural images
- higher order logic
- probabilistic inference
- inference engine
- knowledge representation
- bayesian networks
- inference process
- higher order cliques
- linear logic
- theorem prover
- random fields
- conditional random fields