Picture for Lukas Koller

Lukas Koller

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

Add code
Aug 17, 2024
Viaarxiv icon

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

Add code
Jan 26, 2024
Viaarxiv icon

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

Add code
Nov 06, 2023
Viaarxiv icon

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

Add code
Nov 10, 2022
Viaarxiv icon

Formal Semantics and Formally Verified Validation for Temporal Planning

Add code
Mar 25, 2022
Figure 1 for Formal Semantics and Formally Verified Validation for Temporal Planning
Figure 2 for Formal Semantics and Formally Verified Validation for Temporal Planning
Figure 3 for Formal Semantics and Formally Verified Validation for Temporal Planning
Viaarxiv icon