Follow
Aditya Paliwal
Aditya Paliwal
Citadel Securities
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
982020
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
622020
REGAL: Transfer Learning For Fast Optimization of Computation Graphs
A Paliwal, F Gimeno, V Nair, Y Li, M Lubin, P Kohli, O Vinyals
262019
Scheduling computation graphs using neural networks
Y Li, V Nair, FAG Gil, A Paliwal, MC Lubin
US Patent App. 16/818,932, 2020
22020
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–8