Samuel Teuber: Provably Safe Neural Network Controllers via Differential Dynamic Logic

Orpheus23 Feb 2026 16:45 UTC
2 points
2 comments1 min readLW link
  • Contact: o@hori­zonomega.org

Speaker: Samuel Teuber (KIT (Karlsruhe Institute of Technology)) Talk: Provably Safe Neural Network Controllers via Differential Dynamic Logic

Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.

YouTube playlist: https://​​www.youtube.com/​​playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy

Orpheus23 Feb 2026 16:45 UTC
2 points
2 comments1 min readLW link