|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Об одном подходе к формальной верификации нейросетевых моделейстатья
- Авторы: Полевой А.В., Корухова Ю.С.
- Сборник: Научный сервис в сети Интернет: труды XXVI Всероссийской научной конференции
- Год издания: 2024
- Издательство: ИПМ им. М.В. Келдыша РАН
- Местоположение издательства: Москва
- Первая страница: 223
- Последняя страница: 235
- DOI: 10.20948/abrau-2024-11
- Добавил в систему: Корухова Юлия Станиславовна