Year: 2025
Type: conference-paper
Abstract: 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.
Source: Kalpa publications in computing
DOI: 10.29007/t5jn
Author: Jack McKeown
Institution: University of Miami
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4409233750