Машинное обучение на основе спецификаций (SDML) — это новый подход, который играет ключевую роль в обеспечении соответствия нейронных сетей основным требованиям безопасности и надежности. Эта методология особенно важна в областях, где последствия сбоев систем могут быть катастрофическими, таких как автономное вождение, здравоохранение и аэрокосмическая промышленность. Путем интеграции формальных спецификаций в машинное обучение