Search Results - RepositoryStats

ai4math-papers j991222

11

152

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 5 months ago

gclc janicicpredrag

5

57

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

413 commits to master branch, last one 2 days ago

PyPantograph stanford-centaur

15

55

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

260 commits to main branch, last one about a month ago

MUSTARD Eleanor-H

1

39

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 9 months ago