SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT / generation_config.json

Commit History

Upload generation_config.json with huggingface_hub

8a84778
verified

wxz123 commited on Dec 25, 2024