Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
SJTULean
/
LeanFormalizer_PPO
like
1
Follow
SJTULean
11
Safetensors
SJTULean/LeanStatement_SFT
SJTULean/LeanStatement_RL
English
qwen2
License:
apache-2.0
Model card
Files
Files and versions
Community
main
LeanFormalizer_PPO
/
README.md
Commit History
Update README.md
9fe4333
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
0638917
verified
Inuyasha2023ch
commited on
Dec 25, 2024
Update README.md
4d206b5
verified
Inuyasha2023ch
commited on
Dec 25, 2024
initial commit
ef6ec1e
verified
wxz123
commited on
Dec 24, 2024
wxz123
commited on
