ruc-ai4math/Lean_State_Search_Random

Update README.md

Add pipeline tag, library and license information (#1)

Update README.md

Create README.md

Upload 7 files

upload pretrain

upload finetune model

initial commit

initial commit