Merge pull request #261 from trishullab/george

Update goedel-lm link.
trishullab · Feb 3, 2025 · d49896f · d49896f
2 parents a06a605 + a1c7a50
commit d49896f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/results.json b/docs/results.json
@@ -93,7 +93,7 @@
       "note": "pass@2048 w/ T = 1.0 + pass@2048 w/ T = 0.7"
     },
     "Goedel-Prover-SFT": {
-      "link": "to be released",
+      "link": "https://goedel-lm.github.io/",
       "open-data": "FULL",
       "num-solved": {
         "lean-wsolution": 7