Zhangir Azerbayev | DeepAI

DeepAI

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

Featured Co-authors

Tao Yu
92 publications
Dragomir Radev
71 publications
Ahmed Hassan Awadallah
42 publications
Hailey Schoelkopf
9 publications
Ansong Ni
8 publications
Bartosz Piotrowski
8 publications
Jeremy Avigad
7 publications
Yusen Zhang
3 publications
Edward W. Ayers
2 publications
Mutethia Mutuma
1 publication
Troy Feng
1 publication

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

∙ 11/30/2022

Explicit Knowledge Transfer for Weakly-Supervised Code Generation

Large language models (LLMs) can acquire strong code-generation capabili...

0 Zhangir Azerbayev, et al. ∙

research

∙ 08/29/2021

SummerTime: Text Summarization Toolkit for Non-experts

Recent advances in summarization provide models that can generate summar...

10 Ansong Ni, et al. ∙