Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ruc-ai4math
/
Lean_State_Search_Random
like
4
Follow
ruc-ai4math
6
Sentence Similarity
Transformers
Safetensors
arxiv:
2501.13959
License:
mit
Model card
Files
Files and versions
xet
Community
2
Train
Deploy
Use this model
8ebd7dd
Lean_State_Search_Random
Commit History
Upload 7 files
8ebd7dd
verified
happyllll
commited on
Jan 18
upload pretrain
73b671c
verified
happyllll
commited on
Jan 18
upload finetune model
bf04604
verified
happyllll
commited on
Jan 18
initial commit
67f6012
verified
happyllll
commited on
Jan 18
initial commit
5cb927c
verified
happyllll
commited on
Jan 18
happyllll
commited on
happyllll
commited on
happyllll
commited on
happyllll
commited on
happyllll
commited on
