Markus Rabe | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Roger Grosse
56 publications
Jimmy Ba
46 publications
Yuhuai Wu
40 publications
Christian Szegedy
27 publications
Wenda Li
16 publications
Kshitij Bansal
8 publications
Aditya Paliwal
3 publications
Sarah Loos
2 publications

research

∙ 01/15/2021

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

While designing inductive bias in neural architectures has been widely s...

58 Yuhuai Wu, et al. ∙

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. ∙

Success!

An error occurred