DiffLean/Qwen3-8b-Lean-LoRA

DiffLean Qwen3-8B Lean LoRA

This repository contains a LoRA adapter trained on Lean theorem proving data.

Base model

• Qwen/Qwen3-8B

Format

• PEFT LoRA adapter
• Not full model weights

Usage

Load this adapter on top of the base model with PEFT / LLaMA-Factory.