Aditya Paliwal
Aditya Paliwal
Google Research
Verified email at iiitb.org - Homepage
Title
Cited by
Cited by
Year
Graph Representations for Higher-Order Logic and Theorem Proving
A Paliwal, S Loos, M Rabe, K Bansal, C Szegedy
Proceedings of the AAAI Conference on Artificial Intelligence, 2020, 2020
502020
Reinforced genetic algorithm learning for optimizing computation graphs
A Paliwal, F Gimeno, VG Nair, Y Li, M Lubin, P Kohli, O Vinyals
Eighth International Conference on Learning Representations, 2020, 2020
252020
REGAL: Transfer Learning For Fast Optimization of Computation Graphs
A Paliwal, F Gimeno, V Nair, Y Li, M Lubin, P Kohli, O Vinyals
212019
Scheduling computation graphs using neural networks
Y Li, V Nair, FAG Gil, A Paliwal, MC Lubin
US Patent App. 16/818,932, 2020
2020
Neural Architectures for Tactic-Based Automated Theorem Proving
C Szegedy, SM Loos, A Paliwal, M Rabe, K Bansal
2020
Zero-Shot Learning for Fast Optimization of Computation Graphs
A Paliwal, F Gimeno, V Nair, Y Li, M Lubin, P Kohli, O Vinyals
Workshop on ML for Systems at NeurIPS 2019 (Oral), 2019
2019
Zero-Shot Learning for Fast Optimization of Computation Graphs Download PDF
A Paliwal, F Gimeno, V Nair, Y Li, M Lubin, P Kohli, O Vinyals
The system can't perform the operation now. Try again later.
Articles 1–7