Lukas Koller

According to our database, Lukas Koller authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning.

Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, 2024

End-To-End Set-Based Training for Neural Network Verification.

Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, 2024

2023

MixUp-MIL: A Study on Linear & Multilinear Interpolation-Based Data Augmentation for Whole Slide Image Classification.

Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair

CoRR, 2023

MixUp-MIL: Novel Data Augmentation for Multiple Instance Learning and a Study on Thyroid Cancer Diagnosis.

Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

2022

Knight's Tour Revisited Revisited.

Lukas Koller

Arch. Formal Proofs, 2022

Formal Semantics and Formally Verified Validation for Temporal Planning.

Mohammad Abdulaziz, Lukas Koller

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022