ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions Community

Lean_State_Search_Random / Pretrain_Model /410_stable_random_1024

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

happyllll's picture

Upload 7 files

8ebd7dd verified 3 months ago

ft
Upload 7 files 3 months ago