File size: 317 Bytes
aef1516 9af3f52 |
1 2 3 4 5 6 7 8 9 10 11 |
---
license: apache-2.0
datasets:
- SJTULean/LeanStatement_CoT
language:
- en
base_model:
- Qwen/Qwen2.5-7B-Instruct
---
Wishing users to be clear that the model's formalization ability is (contrastivelty) relatively faible compared to LeanStatement_SFT and PPO, thus may only be considered as an experimental model. |