Roman Soletskyi: Verifying Global Properties of Neural Networks

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

Speaker: Roman Soletskyi Talk: Verifying Global Properties of Neural Networks

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:44 UTC
2 points
0 comments1 min readLW link
No comments.