Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
LeanSearch-PS-faiss
like
0
Follow
FrenzyMath
19
arxiv:
2505.20613
Model card
Files
Files and versions
xet
Community
main
LeanSearch-PS-faiss
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
simon2011
feat(szj): update model
463221f
verified
2 months ago
.gitattributes
1.63 kB
feat(szj): update model
2 months ago
LeanSearch-PS-faiss.index
4.14 GB
xet
feat(szj): update model
2 months ago
README.md
760 Bytes
feat(szj): update model
2 months ago
answers.json
232 MB
xet
feat(szj): update model
2 months ago
