ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions Community

Lean_State_Search_Random / Pretrain_Model /410_stable_random

Ctrl+K

Ctrl+K

2 contributors

History: 1 commit

happyllll's picture

upload pretrain

73b671c verified 3 months ago

ft
upload pretrain 3 months ago