From a1c7a50b6eb8deca53c8206592733732ba81cde7 Mon Sep 17 00:00:00 2001
From: George Tsoukalas <george.tsoukalas@utexas.edu>
Date: Mon, 3 Feb 2025 17:17:17 +0000
Subject: [PATCH] Update goedel-lm link.

---
 docs/results.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/results.json b/docs/results.json
index 1ca3cc5..c38a5e0 100644
--- 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