DiffLean
/

Qwen3-8b-Lean-LoRA

Text Generation

theorem-proving

Model card Files Files and versions

Qwen3-8b-Lean-LoRA / tokenizer_config.json

Commit History

Upload final Qwen3-8B Lean LoRA adapter

995fad2
verified

Jforeverss commited on 7 days ago