Hugging Face
Models
Datasets
Spaces
Buckets
new
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
Slim205
/
Lean_prover_v1
like
0
Safetensors
English
llama
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
Lean_prover_v1
27.6 GB
Ctrl+K
Ctrl+K
1 contributor
History:
10 commits
Slim205
Update README.md
0e11700
verified
11 months ago
.gitattributes
Safe
1.72 kB
Rename ChatGPT Image Aug 28, 2025 at 03_38_35 PM.png to photo.png
11 months ago
README.md
266 Bytes
Update README.md
11 months ago
config.json
Safe
837 Bytes
Upload LlamaForCausalLM
11 months ago
generation_config.json
Safe
252 Bytes
Upload LlamaForCausalLM
11 months ago
model-00001-of-00006.safetensors
4.94 GB
xet
Upload LlamaForCausalLM
11 months ago
model-00002-of-00006.safetensors
4.99 GB
xet
Upload LlamaForCausalLM
11 months ago
model-00003-of-00006.safetensors
4.92 GB
xet
Upload LlamaForCausalLM
11 months ago
model-00004-of-00006.safetensors
4.86 GB
xet
Upload LlamaForCausalLM
11 months ago
model-00005-of-00006.safetensors
4.86 GB
xet
Upload LlamaForCausalLM
11 months ago
model-00006-of-00006.safetensors
2.99 GB
xet
Upload LlamaForCausalLM
11 months ago
model.safetensors.index.json
Safe
22.5 kB
Upload LlamaForCausalLM
11 months ago
photo.png
Safe
1.51 MB
xet
Rename ChatGPT Image Aug 28, 2025 at 03_38_35 PM.png to photo.png
11 months ago
special_tokens_map.json
Safe
599 Bytes
Upload tokenizer
11 months ago
tokenizer.json
Safe
7.5 MB
Upload tokenizer
11 months ago
tokenizer_config.json
Safe
2.17 kB
Upload tokenizer
11 months ago
