AI for Mathematics (AI4Math) paper list
-
Updated
May 19, 2024
AI for Mathematics (AI4Math) paper list
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Brute force math problem solving
mai: MAth Interpreter with standard foundations
Python interface to the Pantograph library
A simple repackaging of the Vampire automated theorem prover
LLMs + Lean, on your laptop or in the cloud
A reasoner for Input/Output logic
Elaboración de demostraciones con Lean.
Intuitionistic and classical propositional logic library
Example axiom and problem files within the TPTP Format
A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.
This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.
Course Project for Hands-on Data Science (DATA 1030) at Brown University.
(Mirror) A Lean machine-to-machine REPL
Math in XO
Add a description, image, and links to the automated-theorem-proving topic page so that developers can more easily learn about it.
To associate your repository with the automated-theorem-proving topic, visit your repo's landing page and select "manage topics."