SJTULean
/

LeanFormalizer_Reward

Model card Files Files and versions

LeanFormalizer_Reward / README.md

wxz123's picture

initial commit

bdc9289 verified over 1 year ago

|

31 Bytes

license: apache-2.0