Hugging Face Space: Tonic/Math
Author: Tonic
SDK: gradio
title: Moonshot Math
license: mit
short_description: Formal reasoning model that can reason and prove theorems