Hugging Face's logo

DiffLean
/
Euler-Prover-4B

Text Generation
PEFT
Safetensors
lora
llama-factory
lean
theorem-proving
formal-reasoning
math
difflean
qwen3
conversational
Model card Files
xet
 Community
Euler-Prover-4B / tokenizer.json

Commit History

Upload Euler-Prover-4B adapter files
46e74bc
verified

Jforeverss commited on