Login / Signup
Aditya Paliwal
ORCID
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 5
Top Topics
First Order Logic
Theorem Proving
Motion Planning
Graph Representation
Top Venues
CoRR
ICLR
AAAI
</>
Publications
</>
Aditya Paliwal
,
Felix Gimeno
,
Vinod Nair
,
Yujia Li
,
Miles Lubin
,
Pushmeet Kohli
,
Oriol Vinyals
Reinforced Genetic Algorithm Learning for Optimizing Computation Graphs.
ICLR
(2020)
Aditya Paliwal
,
Sarah M. Loos
,
Markus N. Rabe
,
Kshitij Bansal
,
Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving.
AAAI
(2020)
Aditya Paliwal
,
Felix Gimeno
,
Vinod Nair
,
Yujia Li
,
Miles Lubin
,
Pushmeet Kohli
,
Oriol Vinyals
REGAL: Transfer Learning For Fast Optimization of Computation Graphs.
CoRR
(2019)
Aditya Paliwal
,
Sarah M. Loos
,
Markus N. Rabe
,
Kshitij Bansal
,
Christian Szegedy
Graph Representations for Higher-Order Logic and Theorem Proving.
CoRR
(2019)
Simran Dokania
,
Aditya Paliwal
,
Shrisha Rao
Distributed Approximation Algorithms for the Combinatorial Motion Planning Problem.
CoRR
(2018)