Hugging Face
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Gabrielebattimelli
/
Leanerstral-1.5-112E
Like
0
Text Generation
vllm
lean4
theorem-proving
formal-verification
mathlib
mixture-of-experts
pruned
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
Leanerstral-1.5-112E
106 GB
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
Gabrielebattimelli
Add the paper
320944e
verified
21 days ago
paper
Add the paper
21 days ago
.gitattributes
Safe
1.64 kB
Add the paper
21 days ago
README.md
Safe
4.09 kB
Leanerstral: new README
21 days ago
chat_template.jinja
Safe
12.8 kB
Add files using upload-large-folder tool
21 days ago
consolidated-00001-of-00006.safetensors
Safe
20 GB
xet
Add files using upload-large-folder tool
21 days ago
consolidated-00002-of-00006.safetensors
Safe
20 GB
xet
Add files using upload-large-folder tool
21 days ago
consolidated-00003-of-00006.safetensors
Safe
20 GB
xet
Add files using upload-large-folder tool
21 days ago
consolidated-00004-of-00006.safetensors
20 GB
xet
Add files using upload-large-folder tool
21 days ago
consolidated-00005-of-00006.safetensors
Safe
20 GB
xet
Add files using upload-large-folder tool
21 days ago
consolidated-00006-of-00006.safetensors
Safe
5.61 GB
xet
Add files using upload-large-folder tool
21 days ago
consolidated.safetensors.index.json
Safe
3.15 MB
Add files using upload-large-folder tool
21 days ago
params.json
Safe
1.02 kB
Add files using upload-large-folder tool
21 days ago
surgery.json
Safe
51.8 kB
Add files using upload-large-folder tool
21 days ago
tekken.json
Safe
16.3 MB
xet
Add files using upload-large-folder tool
21 days ago
