Rename to Goedel-Code-Prover-8B
Browse files
README.md
CHANGED
|
@@ -9,7 +9,7 @@ tags:
|
|
| 9 |
base_model: Qwen/Qwen3-8B
|
| 10 |
---
|
| 11 |
|
| 12 |
-
# Goedel-
|
| 13 |
|
| 14 |
A Lean 4 code verification model fine-tuned from Qwen3-8B through supervised fine-tuning and reinforcement learning with online proof checking.
|
| 15 |
|
|
|
|
| 9 |
base_model: Qwen/Qwen3-8B
|
| 10 |
---
|
| 11 |
|
| 12 |
+
# Goedel-Code-Prover-8B
|
| 13 |
|
| 14 |
A Lean 4 code verification model fine-tuned from Qwen3-8B through supervised fine-tuning and reinforcement learning with online proof checking.
|
| 15 |
|