Hugging Face's logo

ruc-ai4math
/
Lean_State_Search_Random

Sentence Similarity
Transformers
Safetensors
Model card Files
xet
Community
2
Lean_State_Search_Random / Pretrain_Model /410_stable_random_1024 /ft
270 MB
  • 2 contributors
 History: 1 commit
happyllll's picture
happyllll
Upload 7 files
8ebd7dd verified