Анализ моделей машинного обучения при помощи ImandraОсновная часть работы, связанной с формальными методами (область информатики, которая фокусируется на программном и техническом обеспечении, как на математических объектах, чтобы доказать наличие у них определенных качеств) включает в себя аналитические модели, которые могут быть полностью настроены пользователями. Тем не менее все больше значимых частей алгоритмических потоков (составленных моделями) извлекается из данных при помощи искусственного интеллекта. Задача по анализу моделей такого типа открывает новые вызовы для сообществ, придерживающихся формальных методов, и показывает впечатляющий прогресс в последние годы. Пока масштабируемость всё еще остается важной характеристикой, есть некоторая проблема с открытыми исследованиями у моделей самого современного машинного обучения, часто имеющих миллионы параметров. В этой статье мы погрузимся в парадигму в процессе анализа двух простых, но при этом мощных моделей обучения при помощи Imandra. Вот так нативный облачный механизм автоматического мышления приносит формальные методы в массы!
https://nuancesprog.ru/p/8435@nuancesprog #статьи #MachineLearning
