Jason Rute | DeepAI

DeepAI

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

Featured Co-authors

Yuhuai Wu
40 publications
Jesse Michael Han
10 publications
Stanislas Polu
5 publications
Edward W. Ayers
2 publications

research

∙ 02/11/2021

Proof Artifact Co-training for Theorem Proving with Language Models

Labeled data for imitation learning of theorem proving in large librarie...

19 Jesse Michael Han, et al. ∙

research

∙ 12/08/2018

On the close interaction between algorithmic randomness and constructive/computable measure theory

This is a survey of constructive and computable measure theory with an e...

0 Jason Rute, et al. ∙