ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions Community

Lean_State_Search_Random

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

happyllll's picture

initial commit

5cb927c verified 3 months ago

.gitattributes

1.52 kB

initial commit 3 months ago