Об одном подходе к формальной верификации нейросетевых моделейдоклад на конференции