MathForm-8B Autoformalization
by hugging-appsco.huggingface.hugging-apps/mathform-8b-autoformalize
- Remote endpoint
- 1 tool
Tools
mathform_8b_autoformalize_formalizeAutoformalize a natural-language mathematical statement into Lean 4. Returns: The Lean 4 statement, the model's reasoning trace, and the seed used.
No tool matches.
As the server's own listing gives them. We never call a tool.