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
