SJTULean
LeanFormalizer_Reward
Based on SJTULean/LeanFormalizer_SFT
Tags
- en
- dataset:SJTULean/LeanStatement_RL
- arxiv:1910.09700
- base_model:SJTULean/LeanFormalizer_SFT
- base_model:finetune:SJTULean/LeanFormalizer_SFT
- license:apache-2.0
- region:us
Languages
en
- Author
- SJTULean
- License
- apache-2.0
- Base model
- SJTULean/LeanFormalizer_SFT
- Downloads
- 0
- Likes
- 0