zhangir-azerbayev/ProofNet

This is stars and forks stats for /zhangir-azerbayev/ProofNet repository. As of 30 Apr, 2024 this repository has 63 stars and 12 forks.

ProofNet Code for replicating the paper ProofNet: Autoformalizing and Formally Proving Undergraduate Mathematics. This repo is intended for replicating experimental results and accepting PRs to the dataset. To use ProofNet for your own experiments, use the Huggingface dataset. ProofNet is a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language...