Tobias Ladner

https://toladner.github.io/

AI Safety Researcher at Technical University of Munich. Focusing on Formal Verification of Neural Networks | Other account: @toladnertum