Gym-saturation: an OpenAI Gym environment for saturation provers

9 March 2022

Papers citing "Gym-saturation: an OpenAI Gym environment for saturation provers"

2 / 2 papers shown

Title
gym-saturation: Gymnasium environments for saturation provers (System description) Boris Shminke 39 1 0 16 Sep 2023
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 11 1 0 06 Sep 2022