diff --git a/index.html b/index.html
index f1951e7..3ac3017 100644
--- a/index.html
+++ b/index.html
@@ -226,7 +226,7 @@ <h2 class="title is-3"><span class="dvima">Benchmarks</span></h2>
                     <p style="font-size: 125%">
                         <ul style="font-size: 125%; padding-left: 5%">
                             <li><a href="https://doi.org/10.5281/zenodo.8016385"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8016385.svg" alt="DOI"></a> <b>LeanDojo Benchmark</b>: 98,734 theorems/proofs, 217,776 tactics, and 130,262 premises from <a target="_blank" href="https://github.com/leanprover-community/mathlib/tree/19c869efa56bbb8b500f2724c0b77261edbfa28c">mathlib</a>.</li>
-                            <li><a href="https://doi.org/10.5281/zenodo.8040109"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8040109.svg" alt="DOI"></a> <b>LeanDojo Benchmark 4</b>: 116,729 theorems/proofs, 245,546 tactics, and 171,581 premises from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/3ce43c18f614b76e161f911b75a3e1ef641620ff">mathlib4</a>.</li>
+                            <li><a href="https://doi.org/10.5281/zenodo.8040109"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8040109.svg" alt="DOI"></a> <b>LeanDojo Benchmark 4</b>: 122,517 theorems/proofs, 259,580 tactics, and 167,779 premises from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/3ce43c18f614b76e161f911b75a3e1ef641620ff">mathlib4</a>.</li>
                         </ul>
                     </p>
                     <br />