diff --git a/index.html b/index.html index 50759b5..6e954f2 100644 --- a/index.html +++ b/index.html @@ -391,7 +391,7 @@

Experiments

Discovering New Proofs and Uncovering Bugs for Existing Proof Repositories

-

We evaluate ReProver on theorems in miniF2F and ProofNet. It discovers 33 proofs in miniF2F and 39 proofs in ProofNet that did not have Lean proofs. Our proofs have helped ProofNet uncover multiple bugs in the formalization of theorem statements.

+

We evaluate ReProver on theorems in miniF2F and ProofNet. It discovers 33 proofs in miniF2F and 39 proofs in ProofNet of theorems that did not have Lean proofs. Our proofs have helped ProofNet uncover multiple bugs in the formalization of theorem statements.