Reinforcement Learning for Guiding the E Theorem Prover

Conference proceeding

Peer reviewed

Jack McKeown and Geoff Sutcliffe

Proceedings of FLAIRS-36, Vol.36

2023-05-08

Abstract

ATP

eprover

url

https://doi.org/10.32473/flairs.36.133334View

Published (Version of record) Open

1 Record Views

Title: Reinforcement Learning for Guiding the E Theorem Prover
Creators: Jack McKeown - University of Miami
Geoff Sutcliffe - University of Miami
Publication Details: Proceedings of FLAIRS-36, Vol.36
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Conference proceeding
Record Identifier: 991032796135602976