Modelpublic

Pradheep1647/qwen2.5-coder-1.5b-lean-language-sft

sourceHugging Faceapache-2.0updated 1mo agoView on Hugging Face

0likes7downloads

3 commits on main

2ca48d41mo ago

Retrain Lean language adapter on 319 verified examples

Pradheep1647

d255f891mo ago

Publish Lean language SFT LoRA and evaluation

Pradheep1647

d5edb2c1mo ago

initial commit

Pradheep1647