Add code repo link
Browse files
README.md
CHANGED
|
@@ -13,6 +13,7 @@ base_model: Qwen/Qwen3-8B
|
|
| 13 |
# Goedel-Code-Prover-8B
|
| 14 |
|
| 15 |
**Paper:** [Goedel-Prover-V2: Advancing Formal Reasoning in LLMs](https://arxiv.org/abs/2603.19329)
|
|
|
|
| 16 |
|
| 17 |
Goedel-Code-Prover-8B is a Lean 4 proof generation model specialized in **proof decomposition** for code correctness verification. Given a formal specification in Lean 4, it decomposes the proof into smaller lemmas and proves the target theorem by combining them.
|
| 18 |
|
|
|
|
| 13 |
# Goedel-Code-Prover-8B
|
| 14 |
|
| 15 |
**Paper:** [Goedel-Prover-V2: Advancing Formal Reasoning in LLMs](https://arxiv.org/abs/2603.19329)
|
| 16 |
+
**Code:** [https://github.com/goedelcodeprover/Goedel-Code-Prover](https://github.com/goedelcodeprover/Goedel-Code-Prover)
|
| 17 |
|
| 18 |
Goedel-Code-Prover-8B is a Lean 4 proof generation model specialized in **proof decomposition** for code correctness verification. Given a formal specification in Lean 4, it decomposes the proof into smaller lemmas and proves the target theorem by combining them.
|
| 19 |
|