ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions

Lean_State_Search_Random / Pretrain_Model /410_stable_random_1024

270 MB

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

happyllll's picture

Upload 7 files

8ebd7dd verified about 1 year ago

ft
Upload 7 files about 1 year ago