Deep Network Guided Proof Search.

Sarah M. Loos Geoffrey Irving Christian Szegedy Cezary Kaliszyk

Published in: CoRR (2017)

Keyphrases

proof search
theorem proving
knowledge base
neural network
artificial intelligence
theorem prover
linear logic