From e4c8a2ea1120330c61bde0c9cf96a59662415ab1 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Mon, 26 Jun 2023 09:31:00 -0500 Subject: [PATCH] ~ --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.