Follow
Aditya Paliwal
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
1282020
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
722020
REGAL: Transfer Learning For Fast Optimization of Computation Graphs
A Paliwal, F Gimeno, V Nair, Y Li, M Lubin, P Kohli, O Vinyals
272019
Graph representations for higher-order logic and theorem proving. CoRR abs/1905.10006 (2019)
A Paliwal, SM Loos, MN Rabe, K Bansal, C Szegedy
arXiv preprint arXiv:1905.10006, 2019
52019
Scheduling computation graphs using neural networks
Y Li, V Nair, FAG Gil, A Paliwal, MC Lubin
US Patent App. 16/818,932, 2020
42020
MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms
N Doudchenko, M Lubin, A Paliwal, P Lichocki, R Anderson
18th International Conference on the Integration of Constraint Programming …, 2021
2021
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–9