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
simon2011
feat(szj): init repo
1d32d2b
6 months ago
raw
Copy download link
history
contribute
delete
1.8 MB
File too large to display, you can
check the raw version
instead.