Verified record · from the answer index
MathForm-8B Autoformalization
mcptested · static-verifiedscore 55/100signed passport ✓published 65d ago · verified 2026-10-202 uses
Turn natural-language math into Lean 4 statements
Declared tools (1)
mathform_8b_autoformalize_formalize
hfspace:hugging-apps/mathform-8b-autoformalize