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