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
ba7bb04
LeanFormalizer_PPO
2 contributors
History:
3 commits
wxz123
Upload model-00001-of-00009.safetensors with huggingface_hub
ba7bb04
verified
22 days ago
.gitattributes
Safe
1.52 kB
initial commit
22 days ago
README.md
Safe
31 Bytes
initial commit
22 days ago
config.json
Safe
783 Bytes
Upload config.json with huggingface_hub
22 days ago
model-00001-of-00009.safetensors
Safe
1.89 GB
LFS
Upload model-00001-of-00009.safetensors with huggingface_hub
22 days ago
