ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions

Lean_State_Search_Random / README.md

Commit History

Update README.md

526827b
verified

happyllll commited on Mar 7

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

b98aeba
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