Monthly online seminar series on guaranteed safe AI — formal verification, certified training, safety specifications, and runtime monitoring for AI systems.

Founded April 2024. Featuring researchers from Stanford, Mila, Oxford, UC Berkeley, NUS, ETH Zurich, and more.

Série mensuelle de séminaires en ligne sur l'IA garantie sûre — vérification formelle, entraînement certifié, spécifications de sûreté et surveillance d'exécution pour les systèmes d'IA.