QLoRA and QDoRA adapters on Qwen3-Coder-30B-A3B for Lean 4 autoformalization, trained with SFT and GRPO compiler feedback.
Janos Mozer
JanosMozer
·
AI & ML interests
None yet
Recent Activity
updated a collection 6 days ago
Research updated a collection 6 days ago
Coding updated a collection 6 days ago
CodingOrganizations
