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