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 | 117 | 2020 |
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 | 67 | 2020 |
REGAL: Transfer Learning For Fast Optimization of Computation Graphs A Paliwal, F Gimeno, V Nair, Y Li, M Lubin, P Kohli, O Vinyals | 26 | 2019 |
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 | 5 | 2019 |
Scheduling computation graphs using neural networks Y Li, V Nair, FAG Gil, A Paliwal, MC Lubin US Patent App. 16/818,932, 2020 | 4 | 2020 |
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 | | |