SJTULean
/

LeanFormalizer_PPO

Model card Files Files and versions Community

LeanFormalizer_PPO / README.md

wxz123's picture

initial commit

ef6ec1e verified 3 months ago

|

31 Bytes

	---
	license: apache-2.0
	---