research
∙
09/16/2023
gym-saturation: Gymnasium environments for saturation provers (System description)
This work describes a new version of a previously published Python packa...
research
∙
12/09/2022
Python client for Isabelle server
We contribute a Python client for the Isabelle server, which gives resea...
research
∙
09/06/2022
Project proposal: A modular reinforcement learning based automated theorem prover
We propose to build a reinforcement learning prover of independent compo...
research
∙
03/09/2022
Gym-saturation: an OpenAI Gym environment for saturation provers
`gym-saturation` is an OpenAI Gym environment for reinforcement learning...
research
∙
09/11/2021
Mining counterexamples for wide-signature algebras with an Isabelle server
We propose an approach for searching for counterexamples of statements a...
research
∙
03/12/2021