ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions Community

Lean_State_Search_Random / README.md

Commit History

Update README.md

dbb8c9c
verified

happyllll commited on 22 days ago

Create README.md

1efe71e
verified

happyllll commited on 22 days ago