Space: Joe-Davis/CFM-Proof-3B-demo
title: CFM-Proof-3B
sdk: gradio
license: other
short_description: A control model that catches errors in mathematical proofs.
Tags: gradio, region:us