update

README.md

@@ -12,3 +12,5 @@ short_description: Code search for Lean 4
 ---
 
 Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
+
+arxiv.org/abs/2510.15940

app.py

@@ -1009,7 +1009,7 @@ with gr.Blocks(
 
     gr.HTML('''
     <div style="text-align: center; margin: 0.75rem 0;">
-        <a href="https://mikeljl.github.io/data/LeanFinder.pdf" target="_blank" style="
+        <a href="https://arxiv.org/abs/2510.15940" target="_blank" style="
             display: inline-flex;
             align-items: center;
             gap: 0.4rem;