ai4reason's repositories
ATP_Proofs
Interesting ATP Proofs
BliStrTune
Hierarchical invention of targeted E prover strategies
enigma-gpu-server
Tensorflow GPU server for fast evaluation with ENIGMA E Prover
aimleap
AIMLEAP is an environment designed for proving equational theorems by interacting with a (typically learning-based) advisors.
atpy
Python Library for PARG ATP Projects
cvc5ml
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
EmpireTune
Invention of Targeted Theorem Proving Strategies for E and Vampire
GRUNGE-full
The full GRUNGE repo
isa_enigma_paper
Data and information for the "Isabelle ENIGMA" ITP'22 paper
Megalodon
The Megalodon interactive theorem prover and proof checker
mm-atp-benchmark
Metamath ATP Benchmark created from set.mm
oeis-atp-benchmark
The OEIS Benchmark for Inductive Theorem Proving
oeis-mgpg1000
Bounties for the OEIS ATP Benchmark
Proofgold
Proofgold is a cryptocurrency that allows bounties on formal proofs.
pub_scripts
scripts for import/export of publications
public
Public space for AI4REASON permanent links (like conference paper materials).
tensorflow-c-api-examples
TensorFlow C API Examples
vizar
VizAR: ATP Proof Visualization and Navigation Interface