Update README.md
Browse files
README.md
CHANGED
|
@@ -4,8 +4,15 @@ datasets:
|
|
| 4 |
- SJTULean/LeanStatement_SFT
|
| 5 |
language:
|
| 6 |
- en
|
| 7 |
-
|
| 8 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 9 |
base_model:
|
| 10 |
- Qwen/Qwen2.5-7B-Instruct
|
| 11 |
---
|
|
|
|
| 4 |
- SJTULean/LeanStatement_SFT
|
| 5 |
language:
|
| 6 |
- en
|
| 7 |
+
result:
|
| 8 |
+
dataset:
|
| 9 |
+
type: Formalizer Lean
|
| 10 |
+
name: miniF2F
|
| 11 |
+
metrics:
|
| 12 |
+
- name: pass@1
|
| 13 |
+
type: pass@1
|
| 14 |
+
value: 0.9406
|
| 15 |
+
verified: false
|
| 16 |
base_model:
|
| 17 |
- Qwen/Qwen2.5-7B-Instruct
|
| 18 |
---
|