Hugging Face Space: AI-Quotient/theorem-proving-agent
Author: AI-Quotient
SDK: gradio
title: Theorem Proving Agent
license: mit
short_description: This is an Agent fine-tuned to prove or disprove theorems.