Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 8. Верификация алгоритмов с потерями
Teach-In
Верификация алгоритмов с бинарными и численными потерями Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист: