Update index.html

index.html

@@ -162,11 +162,10 @@
     </div>
 
     <script type="text/markdown" id="md-source">
-
-
+      
 ## What StatProver Does
 
-StatProver provides a structured workflow for automated proof generation and self-correction, helping users transform a statistical proposition or source document into a complete LaTeX proof.
+StatProver provides a structured workflow for automated proof generation and self-correction, helping users transform a statistical proposition or source document into a complete LaTeX proof. Built on the comprehensive statistical reasoning benchmark **[StatEval](https://stateval.github.io/)**, StatProver retrieves relevant references to refine proof skeletons and performs self-correction by learning from the strategies and details of similar theoretical proofs.
 
 <video width="100%" autoplay loop muted playsinline>
   <source src="https://raw.githubusercontent.com/StatAI-Lab/StatProver_doc/main/videos/demo.mp4" type="video/mp4">
@@ -214,7 +213,7 @@ StatProver retrieves reference cases from a database of **40,366** research-leve
 
 **Contribution 2. Data-Driven Snippet-Level Self-Correction**
 
-StatProver also uses a large empirical fault repository containing over **80,000** error snippets, constructed from LLM failure trajectories on StatEval’s research-level data. This repository supports fine-grained diagnosis and targeted correction, allowing the system to identify subtle logical gaps and proof errors beyond standard self-reflection.
+StatProver also uses a large empirical fault repository containing over **80,000** error snippets, constructed from LLM failure trajectories on **[StatEval’s](https://stateval.github.io/)** research-level data. This repository supports fine-grained diagnosis and targeted correction, allowing the system to identify subtle logical gaps and proof errors beyond standard self-reflection.
 
 **Contribution 3. Interactive Proof Assistant Platform**