Hugging Face's logo

SJTULean
/
LeanFormalizer_PPO

Safetensors
English
qwen2
Model card Files Community
LeanFormalizer_PPO

Commit History

Upload generation_config.json with huggingface_hub
ad82716
verified

wxz123 commited on

Upload added_tokens.json with huggingface_hub
706ad86
verified

wxz123 commited on

Upload merges.txt with huggingface_hub
7fdca14
verified

wxz123 commited on

Upload vocab.json with huggingface_hub
20ed0b9
verified

wxz123 commited on

Upload special_tokens_map.json with huggingface_hub
caa1e25
verified

wxz123 commited on

Upload tokenizer_config.json with huggingface_hub
20a50e6
verified

wxz123 commited on

Upload tokenizer.json with huggingface_hub
aab0696
verified

wxz123 commited on

Upload model.safetensors.index.json with huggingface_hub
d631a12
verified

wxz123 commited on

Upload model-00009-of-00009.safetensors with huggingface_hub
57b937b
verified

wxz123 commited on

Upload model-00008-of-00009.safetensors with huggingface_hub
1fc2f9c
verified

wxz123 commited on

Upload model-00007-of-00009.safetensors with huggingface_hub
183f28e
verified

wxz123 commited on

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