Alert button

Deep Network Guided Proof Search

Jan 24, 2017
Sarah Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk

Figure 1 for Deep Network Guided Proof Search
Figure 2 for Deep Network Guided Proof Search
Figure 3 for Deep Network Guided Proof Search
Figure 4 for Deep Network Guided Proof Search

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: