Область применения В этом документе представлена методология использования формальных методов для оценки свойств устойчивости нейронных сетей. В документе основное внимание уделяется тому, как выбирать, применять и управлять формальными методами для доказательства свойств устойчивости.
BS ISO/IEC 24029-2:2023 История
2024BS ISO/IEC 24029-2:2023 Искусственный интеллект (ИИ). Оценка устойчивости нейронных сетей - Методика использования формальных методов