Hugging Face's logo

ruc-ai4math
/
Lean_State_Search_Random

Sentence Similarity
Transformers
Safetensors
Inference Endpoints
Model card Files Community
1
Lean_State_Search_Random
  • 2 contributors
 History: 8 commits
nielsr's picture
nielsr HF staff
Add pipeline tag, library and license information
51fb9e9 verified