CS… Math Assistant – An Agentic Framework for Outlining Proofs 27 Sep 202427 Sep 2024 Math Assistant is an agentic framework for outlining proofs and solutions. The agents will work together to outline 3 possible proofs. Each proof will be saved along with a score…
Tucker's Box of Thoughts 