Picture for Sarah Loos

Sarah Loos

Graph Representations for Higher-Order Logic and Theorem Proving

Add code
May 24, 2019
Figure 1 for Graph Representations for Higher-Order Logic and Theorem Proving
Figure 2 for Graph Representations for Higher-Order Logic and Theorem Proving
Figure 3 for Graph Representations for Higher-Order Logic and Theorem Proving
Figure 4 for Graph Representations for Higher-Order Logic and Theorem Proving
Viaarxiv icon

Deep Network Guided Proof Search

Add code
Jan 24, 2017
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
Viaarxiv icon