Volume
@proceedings{IWIL-2024,
title = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2025}}
Papers
@inproceedings{IWIL-2024:Framework_Running_Reinforcement_Learning,
author = {Jack McKeown},
title = {A Framework for Running Reinforcement Learning Experiments in E},
booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/7R1j},
doi = {10.29007/t5jn},
pages = {1-7},
year = {2025}}
@inproceedings{IWIL-2024:Chat_with_Bard,
author = {Geoff Sutcliffe and Jack McKeown and Alexander Steen},
title = {A Chat with Bard},
booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/nz2N},
doi = {10.29007/r9l2},
pages = {8-14},
year = {2025}}
@inproceedings{IWIL-2024:Searching_Wormholes_Proof_Space,
author = {David Fuenmayor and Christoph Benzmüller},
title = {Searching for Wormholes in Proof-Space},
booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/scqG},
doi = {10.29007/fc89},
pages = {15-17},
year = {2025}}
@inproceedings{IWIL-2024:Shared_Terms_Cached_Rewriting,
author = {Stephan Schulz},
title = {Shared Terms and Cached Rewriting},
booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/PF9F},
doi = {10.29007/4vf1},
pages = {18-33},
year = {2025}}
@inproceedings{IWIL-2024:Dataset_Specific_Strategies_E,
author = {Jack McKeown and Geoff Sutcliffe},
title = {Dataset-Specific Strategies for the E Theorem Prover},
booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/PXgt},
doi = {10.29007/jn6j},
pages = {34-44},
year = {2025}}
@inproceedings{IWIL-2024:Towards_StarExec_Cloud,
author = {David Fuenmayor and Jack McKeown and Geoff Sutcliffe},
title = {Towards StarExec in the Cloud},
booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
series = {Kalpa Publications in Computing},
volume = {21},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/4c5S},
doi = {10.29007/nsxs},
pages = {45-60},
year = {2025}}
