SJTULean
/

LeanFormalizer_PPO

Model card Files Files and versions Community

LeanFormalizer_PPO / special_tokens_map.json

Commit History

Upload special_tokens_map.json with huggingface_hub

caa1e25
verified

wxz123 commited on Dec 24, 2024