SJTULean
/

LeanFormalizer_PPO

Model card Files Files and versions

LeanFormalizer_PPO / README.md

Commit History

Improve language tag

6bad9d1
verified

lbourdois commited on Apr 28, 2025

Update README.md

9fe4333
verified

Inuyasha2023ch commited on Dec 25, 2024

Update README.md

0638917
verified

Inuyasha2023ch commited on Dec 25, 2024

Update README.md

4d206b5
verified

Inuyasha2023ch commited on Dec 25, 2024

initial commit

ef6ec1e
verified

wxz123 commited on Dec 24, 2024