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 25 days ago
High-Througput Lean4 Autoformaliser for Local Inference updated a collection 25 days ago
High-Througput Lean4 Autoformaliser for Local Inference updated a model 25 days ago
JanosMozer/qwen-lean4-formaliser-vDoRAOrganizations
