IWIL-2026: Author Index

Author	Papers
B
Baaz, Matthias	Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs
Benzmüller, Christoph	Building Blocks for Reasoning on the BEAM
C
Carelli, Mishel	Cycle Detection for Affine Integer Linear Loops
Chvalovský, Karel	Neural Conjecturing for Saturation Theorem Provers
F
Finkbeiner, Bernd	Cycle Detection for Affine Integer Linear Loops
G
Gamsakhurdia, Mariami	Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs
Gheorghiu, Alexander Victor	Towards an Operational Proof-theoretic Semantics
H
Hirvensalo, Mika	An Implementation of Integer Presburger Arithmetic in a Math Education Tool
J
Jakubův, Jan	Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA
Janota, Mikoláš	Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA
K
Karatarakis, Michail	A Formalized Neurodynamic Solver for N-Queens Completion
Kim, Theodore	Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop
P
Pease, Adam	Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop
S
Schulz, Stephan	Some Experiments with Twee-Style Goal-Directedness
Schuster, Johannes	Building Blocks for Reasoning on the BEAM
Schwarz, Simon	Efficient Linear Model Building and Clause Evaluation
Stojanović-Đurđević, Sana	Benchmarking LLMs Against TPTP: A Vision for the Near Future
Suda, Martin	Neural Conjecturing for Saturation Theorem Provers
U
Urban, Josef	Neural Conjecturing for Saturation Theorem Provers
Urošević, Andrija	Benchmarking LLMs Against TPTP: A Vision for the Near Future
V
Valmari, Antti	An Implementation of Integer Presburger Arithmetic in a Math Education Tool
W
Weidenbach, Christoph	Efficient Linear Model Building and Clause Evaluation
Wobito, Fabian	Efficient Linear Model Building and Clause Evaluation
Đ
Đurić, Gordan	Benchmarking LLMs Against TPTP: A Vision for the Near Future