Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Aditya Paliwal

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


  Access Paper or Ask Questions

Graph Representations for Higher-Order Logic and Theorem Proving


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


  Access Paper or Ask Questions