SJTULean
/

LeanFormalizer_Reward

Model card Files Files and versions

LeanFormalizer_Reward / vocab.json

wxz123's picture

Upload vocab.json with huggingface_hub

02cb94a verified about 1 year ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.