SJTULean
/

LeanFormalizer_PPO

Model card Files Files and versions Community

LeanFormalizer_PPO

Commit History

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

ba7bb04
verified

wxz123 commited on 22 days ago

Upload config.json with huggingface_hub

f40d48c
verified

wxz123 commited on 22 days ago

initial commit

ef6ec1e
verified

wxz123 commited on 22 days ago