4 results found Sort:
- Filter by Primary Language:
- C++ (2)
- Python (1)
- +
AI for Mathematics (AI4Math) paper list
Created
2023-04-24
26 commits to main branch, last one 5 months ago
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
Created
2020-12-05
413 commits to master branch, last one 3 days ago
A Machine-to-Machine Interaction System for Lean 4.
Created
2024-04-11
260 commits to main branch, last one about a month ago
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Created
2024-02-14
7 commits to main branch, last one 9 months ago