IWIL-2024: Author Index

Author	Papers
B
Benzmüller, Christoph	Searching for Wormholes in Proof-Space
F
Fuenmayor, David	Searching for Wormholes in Proof-Space Towards StarExec in the Cloud
M
McKeown, Jack	A Framework for Running Reinforcement Learning Experiments in E A Chat with Bard Dataset-Specific Strategies for the E Theorem Prover Towards StarExec in the Cloud
S
Schulz, Stephan	Shared Terms and Cached Rewriting
Steen, Alexander	A Chat with Bard
Sutcliffe, Geoff	A Chat with Bard Dataset-Specific Strategies for the E Theorem Prover Towards StarExec in the Cloud