Paliwal, Aditya

2 publications

AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

ICLR 2020 Reinforced Genetic Algorithm Learning for Optimizing Computation Graphs Aditya Paliwal, Felix Gimeno, Vinod Nair, Yujia Li, Miles Lubin, Pushmeet Kohli, Oriol Vinyals