Deep Network Guided Proof Search.

Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

Browse the full LPAR paper archive.