Modelpublic

ruc-ai4math/LeanStateSearch2025.3

sourceHugging Faceupdated 2y agoView on Hugging Face

1likes87downloads

5 commits on main

b3507392y ago

Update README.md

timechess

d4538b52y ago

Update README.md

happyllll

42fb6d12y ago

Upload config.json

happyllll

8c361e92y ago

initial commit

happyllll

b0fcdc92y ago

initial commit

happyllll