Новый подход к формальной верификации нейросетевых моделей предложили ученые ВМК МГУ

Представители факультета ВМК МГУ разработали и протестировали подход к формальной верификации нейросетевых моделей, позволяющий проверять их надежность и устойчивость при выполнении критически важных задач