DiffLean
/

Qwen3-8b-Lean-LoRA

Text Generation

theorem-proving

Model card Files Files and versions

Qwen3-8b-Lean-LoRA

Commit History

Upload final Qwen3-8B Lean LoRA adapter

995fad2
verified

Jforeverss commited on 7 days ago

initial commit

07dbecf
verified

Jforeverss commited on 7 days ago