Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

IWIL-2024: Volume Information

Proceedings of the 14th and 15th International Workshops on the Implementation of Logics

Editors: Konstantin Korovin, Stephan Schulz and Michael Rawson

Kalpa Publications in Computing•Volume 21

6 articles•60 pages•Published: April 6, 2025

Papers

A Framework for Running Reinforcement Learning Experiments in E

1-7

A Chat with Bard

Geoff Sutcliffe, Jack McKeown and Alexander Steen

8-14

Searching for Wormholes in Proof-Space

David Fuenmayor and Christoph Benzmüller

15-17

Shared Terms and Cached Rewriting

18-33

Dataset-Specific Strategies for the E Theorem Prover

Jack McKeown and Geoff Sutcliffe

34-44

Towards StarExec in the Cloud

David Fuenmayor, Jack McKeown and Geoff Sutcliffe

45-60

Keyphrases

Amazon Web Services, ATP, Containerization, data structures, Eprover, first-order logic, heuristic, implementation of logics, merging, StarExec, terms.