automated-theorem-proving topic

AI for Mathematics (AI4Math) paper list

j991222

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Eleanor-H

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.

janicicpredrag