A Framework for Running Reinforcement Learning Experiments in E

As machine learning methods for guiding theorem proving become increasingly popular, it is important that there are frameworks for facilitating rapid development and prototyping of new machine learning models in this context.This paper describes a framework for training and testing reinforcement learning models for guiding given clause selection within the E theorem prover.