ray-prover#

Generic saturation prover using Ray RLlib.

How to install#

ray-prover works only with Python 3.8, 3.9 or 3.10

pip install git+https://github.com/inpefess/ray-prover.git

How to use#

There are two scripts: for PPO and Thompson sampling.

--prover can be Vampire or iProver

Add --random_baseline for not learning anything.

python ray_prover/thompson_sampling.py --prover Vampire --max_clause 20 --problem_filename ~/data/TPTP-v8.1.2/Problems/SET/SET001-1.p --random_baseline
python ray_prover/ppo_prover.py --prover iProver --max_clause 15 --problem_filename ~/data/TPTP-v8.1.2/Problems/SET/SET001-1.p