Update index.html

index.html

@@ -318,8 +318,8 @@ <h2 class="title is-3">Abstract</h2>
                     <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,641 theorems/proofs, 217,639 tactics, and 130,151 premises extracted from <a target="_blank" href="https://github.com/leanprover-community/mathlib/tree/32a7e535287f9c73f2e4d2aef306a39190f0b504">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>: 100,780 theorems/proofs, 209,133 tactics, and 101,500 premises extracted from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/355541ae7a2455222f179dcf7f074aa2c45eb8aa">mathlib4</a>.</li>
+                            <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 extracted 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>: 102,514 theorems/proofs, 213,067 tactics, and 152,695 premises extracted from <a target="_blank" href="https://github.com/leanprover-community/mathlib4/tree/3ce43c18f614b76e161f911b75a3e1ef641620ff">mathlib4</a>.</li>
                         </ul>
                     </p>
                     <br />