4 results found Sort:

j991222
ai4math-papers j991222
11
157
unknown
7
AI for Mathematics (AI4Math) paper list
ai4math benchmarks paper-list autoformalizaion machine-learning reinforcement-learning automated-theorem-proving
Created 2023-04-24
26 commits to main branch, last one 6 months ago
stanford-centaur
PyPantograph stanford-centaur
16
72
apache-2.0
4
A Machine-to-Machine Interaction System for Lean 4.
lean4 python theorem-proving machine-learning automated-reasoning automated-theorem-proving
Created 2024-04-11
281 commits to main branch, last one 3 days ago
janicicpredrag
gclc janicicpredrag
5
60
other
7
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
tikz latex geometry mathematics theorem-prover teaching-geometry software-for-teaching automated-theorem-proving mathematical-illustrations
Created 2020-12-05
415 commits to master branch, last one about a month ago
Eleanor-H
MUSTARD Eleanor-H
1
41
unknown
3
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ai4math data-synthesis theorem-proving machine-learning complex-reasoning math-word-problem large-language-models automated-theorem-proving math-word-problem-solving natural-language-processing
Created 2024-02-14
7 commits to main branch, last one 10 months ago