Edward W. Ayers | DeepAI

DeepAI

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

Featured Co-authors

Dragomir Radev
71 publications
Yuhuai Wu
40 publications
Jesse Michael Han
10 publications
Hailey Schoelkopf
9 publications
Bartosz Piotrowski
8 publications
Jeremy Avigad
7 publications
Stanislas Polu
5 publications
Zhangir Azerbayev
3 publications
Jason Rute
2 publications

research

∙ 02/24/2023

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

We introduce ProofNet, a benchmark for autoformalization and formal prov...

0 Zhangir Azerbayev, et al. ∙

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