SJTULean
/

LeanFormalizer_PPO

Model card Files Files and versions Community

LeanFormalizer_PPO / merges.txt

wxz123's picture

Upload merges.txt with huggingface_hub

7fdca14 verified 21 days ago

history contribute delete

1.67 MB

File too large to display, you can check the raw version instead.