Picture for Aditya Paliwal

Aditya Paliwal

REGAL: Transfer Learning For Fast Optimization of Computation Graphs

Add code
May 30, 2019
Figure 1 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Figure 2 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Figure 3 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Figure 4 for REGAL: Transfer Learning For Fast Optimization of Computation Graphs
Viaarxiv icon

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