13.02.2024
Talk by Prof. Neider at SAIL Lecture Series
Prof. Daniel Neider will give a talk with the title "A Gentle Introduction to Neural Network Verification" on February 15. The talk is part of the SAIL (Sustainable Life-Cycle of Intelligent Socio-Technical Systems) lecture series on "Robust AI".
[Read more]