Aditya Paliwal | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Oriol Vinyals
101 publications
Pushmeet Kohli
93 publications
Yujia Li
34 publications
Christian Szegedy
27 publications
Shrisha Rao
16 publications
Kshitij Bansal
8 publications
Felix Gimeno
6 publications
Miles Lubin
6 publications
Vinod Nair
5 publications
Markus Rabe
2 publications
Sarah Loos
2 publications

research

∙ 05/24/2019

Graph Representations for Higher-Order Logic and Theorem Proving

This paper presents the first use of graph neural networks (GNNs) for hi...

8 Aditya Paliwal, et al. ∙

research

∙ 05/07/2019

REGAL: Transfer Learning For Fast Optimization of Computation Graphs

We present a deep reinforcement learning approach to optimizing the exec...

14 Aditya Paliwal, et al. ∙

research

∙ 05/23/2018

Distributed Approximation Algorithms for the Combinatorial Motion Planning Problem

We present a new 4-approximation algorithm for the Combinatorial Motion ...

0 Simran Dokania, et al. ∙