ai4reason Goto Github PK

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

atpy

Python Library for PARG ATP Projects

blistrtune

Hierarchical invention of targeted E prover strategies

cvc5_grackle_mizar

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

enigma

ENIGMA: Inference Guiding Machine

enigma-gpu-server

Tensorflow GPU server for fast evaluation with ENIGMA E Prover

enigmatic

eprover

eprover-data

grackle

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.

prover9

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

pub_scripts

scripts for import/export of publications

public

Public space for AI4REASON permanent links (like conference paper materials).

pyprove

smtinfin

tensorflow-c-api-examples

TensorFlow C API Examples

vizar

VizAR: ATP Proof Visualization and Navigation Interface