Sarah M. Loos | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christian Szegedy
27 publications
Markus N. Rabe
16 publications
Kshitij Bansal
8 publications
Dennis Lee
7 publications
Stewart Wilcox
2 publications

research

∙ 09/26/2019

Mathematical Reasoning in Latent Space

We design and conduct a simple experiment to study whether neural networ...

34 Dennis Lee, et al. ∙

research

∙ 05/25/2019

Learning to Reason in Large Theories without Imitation

Automated theorem proving in large theories can be learned via reinforce...

2 Kshitij Bansal, et al. ∙

research

∙ 04/05/2019

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)

We present an environment, benchmark, and deep learning driven automated...

2 Kshitij Bansal, et al. ∙

research

∙ 04/05/2019

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

We present an environment, benchmark, and deep learning driven automated...

0 Kshitij Bansal, et al. ∙