SJTULean
/

LeanFormalizer_Reward

Model card Files Files and versions

LeanFormalizer_Reward / tokenizer.json

Commit History

Upload tokenizer.json with huggingface_hub

038c9df
verified

wxz123 commited on Dec 24, 2024