Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
LeanSearch-PS
like
0
Follow
FrenzyMath
25
PEFT
Safetensors
arxiv:
2505.20613
Model card
Files
Files and versions
xet
Community
Use this model
main
LeanSearch-PS
/
tokenizer.json
Commit History
feat(szj): init repo
1d32d2b
simon2011
commited on
Jul 2, 2025
simon2011
commited on
