research
∙
02/24/2023
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
We introduce ProofNet, a benchmark for autoformalization and formal prov...
share
research
∙
01/23/2023
Verified reductions for optimization
Numerical and symbolic methods for optimization are used extensively in ...
research
∙
12/03/2021
An Impossible Asylum
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Ta...
research
∙
11/12/2021
Verified Optimization
Optimization is used extensively in engineering, industry, and finance, ...
research
∙
09/29/2021
A verified algebraic representation of Cairo program execution
Cryptographic interactive proof systems provide an efficient and scalabl...
research
∙
09/20/2020
Foundations
This is a draft of a chapter on mathematical logic and foundations for a...
research
∙
01/31/2018