Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
DiffLean
/
Euler-Prover-4B
like
0
Follow
SPA
4
Text Generation
PEFT
Safetensors
lora
llama-factory
lean
theorem-proving
formal-reasoning
math
difflean
qwen3
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Use this model
main
Euler-Prover-4B
276 MB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
Jforeverss
Upload Euler-Prover-4B adapter files
46e74bc
verified
about 6 hours ago
.gitattributes
Safe
1.57 kB
Upload Euler-Prover-4B adapter files
about 6 hours ago
README.md
1.87 kB
Upload Euler-Prover-4B adapter files
about 6 hours ago
adapter_config.json
1.07 kB
Upload Euler-Prover-4B adapter files
about 6 hours ago
adapter_model.safetensors
264 MB
xet
Upload Euler-Prover-4B adapter files
about 6 hours ago
chat_template.jinja
Safe
4.17 kB
Upload Euler-Prover-4B adapter files
about 6 hours ago
tokenizer.json
Safe
11.4 MB
xet
Upload Euler-Prover-4B adapter files
about 6 hours ago
tokenizer_config.json
Safe
691 Bytes
Upload Euler-Prover-4B adapter files
about 6 hours ago
