SJTULean
/

LeanFormalizer_PPO

Model card Files Files and versions Community

LeanFormalizer_PPO / vocab.json

wxz123's picture

Upload vocab.json with huggingface_hub

20ed0b9 verified 3 months ago

history contribute delete

2.78 MB

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