Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
LeanSearch-PS
like
0
Follow
FrenzyMath
26
PEFT
Safetensors
arxiv:
2505.20613
Model card
Files
Files and versions
xet
Community
Use this model
main
LeanSearch-PS
/
.gitattributes
Commit History
initial commit
a2799c1
verified
simon2011
commited on
Jul 2, 2025
simon2011
commited on
