Albert Jiang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Milind Tambe
58 publications
Roger Grosse
56 publications
Jimmy Ba
46 publications
Haifeng Xu
44 publications
Yuhuai Wu
40 publications
Hau Chan
15 publications
Eric Rice
8 publications
Amulya Yadav
7 publications

research

∙ 07/06/2020

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

In learning-assisted theorem proving, one of the most critical challenge...

0 Yuhuai Wu, et al. ∙

research

∙ 01/30/2016

Using Social Networks to Aid Homeless Shelters: Dynamic Influence Maximization under Uncertainty - An Extended Version

This paper presents HEALER, a software agent that recommends sequential ...

0 Amulya Yadav, et al. ∙