HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jack McKeown

Publications
A Chat with Bard
Geoff Sutcliffe, Jack McKeown and Alexander Steen
EasyChair Preprint 10329
Towards StarExec in the Cloud
David Fuenmayor, Jack McKeown and Geoff Sutcliffe
In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Dataset-Specific Strategies for the E Theorem Prover
Jack McKeown and Geoff Sutcliffe
In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
A Chat with Bard
Geoff Sutcliffe, Jack McKeown and Alexander Steen
In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
A Framework for Running Reinforcement Learning Experiments in E
Jack McKeown
In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Amazon Web Services, ATP, Bard, Containerization, Eprover, heuristic, interpretations, logic, merging, StarExec, TPTP2, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.