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
d631a12
LeanFormalizer_PPO
2 contributors
History:
12 commits
wxz123
Upload model.safetensors.index.json with huggingface_hub
d631a12
verified
23 days ago
.gitattributes
Safe
1.52 kB
initial commit
23 days ago
README.md
Safe
31 Bytes
initial commit
23 days ago
config.json
Safe
783 Bytes
Upload config.json with huggingface_hub
23 days ago
model-00001-of-00009.safetensors
Safe
1.89 GB
LFS
Upload model-00001-of-00009.safetensors with huggingface_hub
23 days ago
model-00002-of-00009.safetensors
Safe
1.86 GB
LFS
Upload model-00002-of-00009.safetensors with huggingface_hub
23 days ago
model-00003-of-00009.safetensors
Safe
1.86 GB
LFS
Upload model-00003-of-00009.safetensors with huggingface_hub
23 days ago
model-00004-of-00009.safetensors
Safe
1.86 GB
LFS
Upload model-00004-of-00009.safetensors with huggingface_hub
23 days ago
model-00005-of-00009.safetensors
Safe
1.86 GB
LFS
Upload model-00005-of-00009.safetensors with huggingface_hub
23 days ago
model-00006-of-00009.safetensors
Safe
1.86 GB
LFS
Upload model-00006-of-00009.safetensors with huggingface_hub
23 days ago
model-00007-of-00009.safetensors
Safe
1.86 GB
LFS
Upload model-00007-of-00009.safetensors with huggingface_hub
23 days ago
model-00008-of-00009.safetensors
Safe
1.07 GB
LFS
Upload model-00008-of-00009.safetensors with huggingface_hub
23 days ago
model-00009-of-00009.safetensors
Safe
1.09 GB
LFS
Upload model-00009-of-00009.safetensors with huggingface_hub
23 days ago
model.safetensors.index.json
Safe
27.8 kB
Upload model.safetensors.index.json with huggingface_hub
23 days ago
