Hugging Face's logo

SJTULean
/
LeanFormalizer_PPO

Safetensors
English
qwen2
Model card Files Community
LeanFormalizer_PPO / model-00004-of-00009.safetensors

Commit History

Upload model-00004-of-00009.safetensors with huggingface_hub
29c8c1c
verified

wxz123 commited on