ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions

Lean_State_Search_Random / README.md

Commit History

Add pipeline tag, library and license information

51fb9e9
verified

nielsr HF Staff commited on Mar 7

Update README.md

dbb8c9c
verified

happyllll commited on Mar 4

Create README.md

1efe71e
verified

happyllll commited on Mar 4