Theorem Proving Agent: likes over time
AI-Quotient/theorem-proving-agent 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.
This is an Agent fine-tuned to prove or disprove theorems.