ruc-ai4math
/

Lean_State_Search_Random

Sentence Similarity

Model card Files Files and versions

Lean_State_Search_Random / Rerank /random_s0_d0 /vocab.txt

happyllll's picture

initial commit

67f6012 verified 7 months ago

history contribute delete

303 kB

File too large to display, you can check the raw version instead.