High-Througput Lean4 Autoformaliser for Local Inference
Collection
QLoRA and QDoRA adapters on Qwen3-Coder-30B-A3B for Lean 4 autoformalization, trained with SFT and GRPO compiler feedback. • 2 items • Updated
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
updated a
collection 25 days ago
updated 2
models 25 days ago