We will organize a workshop at Stanford on June 7 and June 10 introducing the toolbox NeuralVerification.jl. Agenda can be found here.