Deep Network Guided Proof Search.

Sarah M. Loos Geoffrey Irving Christian Szegedy Cezary Kaliszyk

Published in: LPAR (2017)

Keyphrases

proof search
inference rules
linear logic
proof planning
evolutionary algorithm
theorem prover
theorem proving
active rules