SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT / config.json

Commit History

Upload config.json with huggingface_hub

db3d313
verified

wxz123 commited on Dec 24, 2024