SJTULean
/

LeanFormalizer_Reward

Model card Files Files and versions

LeanFormalizer_Reward / README.md

Commit History

Update README.md

5951cb2
verified

Inuyasha2023ch commited on Dec 25, 2024

Create README.md

36d92a4
verified

wxz123 commited on Dec 24, 2024

Delete README.md

8919b5c
verified

wxz123 commited on Dec 24, 2024

initial commit

bdc9289
verified

wxz123 commited on Dec 24, 2024