Lukas Koller

13 papers A* 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Out of the Shadows: Exploring a Latent Space for Neural Network Verification.
CoRR
Lukas Koller, Tobias Ladner, Matthias Althoff
2025 J jnl
Set-Based Training for Neural Network Verification.
Trans. Mach. Learn. Res.
Lukas Koller, Tobias Ladner, Matthias Althoff
2025 — conf
Studying the Generalization Behavior of Surrogate Models for Punch-Bending by Generating Plausible Counterfactuals.
ICANN (4)
Andreas Mazur, Henning Peters, André Artelt, Lukas Koller, Christoph Hartmann, Ansgar Trächtler, Barbara Hammer
2025 J jnl
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.
CoRR
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu
2025 J jnl
Training robust neural networks for uncertainty prediction in stamping technology.
Autom.
Lukas Koller, Christoph Hartmann, Lukas Martinitz, Wolfram Volk, Matthias Althoff
2024 J jnl
End-To-End Set-Based Training for Neural Network Verification.
CoRR
Lukas Koller, Tobias Ladner, Matthias Althoff
2024 J jnl
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning.
CoRR
Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff
2023 J jnl
MixUp-MIL: A Study on Linear & Multilinear Interpolation-Based Data Augmentation for Whole Slide Image Classification.
CoRR
Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair
2023 — conf
MixUp-MIL: Novel Data Augmentation for Multiple Instance Learning and a Study on Thyroid Cancer Diagnosis.
MICCAI (6)
Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair
2022 A* conf
Formal Semantics and Formally Verified Validation for Temporal Planning.
AAAI
Mohammad Abdulaziz, Lukas Koller
2022 J jnl
Formal Semantics and Formally Verified Validation for Temporal Planning.
CoRR
Mohammad Abdulaziz, Lukas Koller
2022 J jnl
Knight's Tour Revisited Revisited.
Arch. Formal Proofs
Lukas Koller
2022 J jnl
MixUp-MIL: Novel Data Augmentation for Multiple Instance Learning and a Study on Thyroid Cancer Diagnosis.
CoRR
Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair