Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
LeanSearch-PS
like
0
Follow
FrenzyMath
20
PEFT
Safetensors
arxiv:
2505.20613
Model card
Files
Files and versions
xet
Community
Use this model
main
LeanSearch-PS
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
simon2011
feat(szj): init repo
1d32d2b
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
3 months ago
.gitignore
34 Bytes
feat(szj): init repo
3 months ago
README.md
830 Bytes
feat(szj): init repo
3 months ago
adapter_config.json
741 Bytes
feat(szj): init repo
3 months ago
adapter_model.safetensors
42 MB
xet
feat(szj): init repo
3 months ago
special_tokens_map.json
Safe
624 Bytes
feat(szj): init repo
3 months ago
tokenizer.json
1.8 MB
feat(szj): init repo
3 months ago
tokenizer_config.json
Safe
1.03 kB
feat(szj): init repo
3 months ago
