MathForm-8B Autoformalization: likes over time
hugging-apps/mathform-8b-autoformalize is a gradio Space on the Hugging Face Hub. It has 2 likes, 0 in the last 7 days and 0 in the last 30, and ranks #23,047 among Spaces by likes.
Turn natural-language math into Lean 4 statements