Tobias Ladner

Out of the Shadows: Exploring a Latent Space for Neural Network Verification

Provably Explaining Neural Additive Models

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

Position: We Should Read and Write Papers Differently in the Age of AI

Abstracting and Refining Provably Sufficient Explanations of Neural Network Predictions

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations

Towards Formally Verifying LLMs: Taming the Nonlinearity of the Transformer