Hugging Face's logo

SJTULean
/
LeanFormalizer_PPO

Safetensors
English
qwen2
Model card Files Community
LeanFormalizer_PPO

Commit History

Upload model-00006-of-00009.safetensors with huggingface_hub
94b023b
verified

wxz123 commited on

Upload model-00005-of-00009.safetensors with huggingface_hub
08c6255
verified

wxz123 commited on

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

wxz123 commited on

Upload model-00003-of-00009.safetensors with huggingface_hub
50a66bf
verified

wxz123 commited on

Upload model-00002-of-00009.safetensors with huggingface_hub
0eb6810
verified

wxz123 commited on

Upload model-00001-of-00009.safetensors with huggingface_hub
ba7bb04
verified

wxz123 commited on

Upload config.json with huggingface_hub
f40d48c
verified

wxz123 commited on

initial commit
ef6ec1e
verified

wxz123 commited on