Alert button
Picture for Aditya Paliwal

Aditya Paliwal

Alert button

REGAL: Transfer Learning For Fast Optimization of Computation Graphs

May 30, 2019
Aditya Paliwal, Felix Gimeno, Vinod Nair, Yujia Li, Miles Lubin, Pushmeet Kohli, Oriol Vinyals

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

May 24, 2019
Aditya Paliwal, Sarah Loos, Markus Rabe, Kshitij Bansal, Christian Szegedy

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