research
∙
02/24/2023
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
We introduce ProofNet, a benchmark for autoformalization and formal prov...
share
research
∙
11/30/2022
Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Large language models (LLMs) can acquire strong code-generation capabili...
research
∙
08/29/2021
