Moonshot Math: likes over time

Tonic/Math is a gradio Space on the Hugging Face Hub. It has 42 likes, 0 in the last 7 days and 0 in the last 30, and ranks #3,248 among Spaces by likes.

Formal reasoning model that can reason and prove theorems

Open Tonic/Math on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.