Stewart Wilcox | DeepAI

DeepAI

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

Featured Co-authors

Christian Szegedy
27 publications
Markus N. Rabe
16 publications
Kshitij Bansal
8 publications
Sarah M. Loos
4 publications

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