Update index.html

index.html

@@ -447,7 +447,7 @@ <h2 class="title is-3"><span class="dvima" id="chatgpt-for-theorem-proving">Chat
                     <h2 class="title is-3"><span class="lean-infer">Running Neural Networks Directly in Lean</span></h2>
                     <img src="images/LeanInfer.png" width="70%" class="interpolation-image" alt="" style="display: block; margin-left: auto; margin-right: auto"/>
                     <br />
-                    <p style="font-size: 125%">In a follow-up study, we release <a target="_blank" href="https://github.com/lean-dojo/LeanInfer">LeanInfer</a>: a tool for running the inference of neural networks in Lean through FFI. It is under development and currently provides a tactic for suggesting proof steps. </p>
+                    <p style="font-size: 125%">In a follow-up study, we release <a target="_blank" href="https://github.com/lean-dojo/LeanInfer">LeanInfer</a>: a tool for running the inference of neural networks in Lean through FFI. It is under development and currently provides a tactic for suggesting proof steps (generated by the non-retrieval version of ReProver). </p>
                 </div>
             </div>
         </div>