Глоссарий ИИ
Полный словарь искусственного интеллекта
Синтез программ на основе ограничений
Подход с использованием логических ограничений и SAT/SMT-решателей для автоматической генерации программ, удовлетворяющих спецификациям.
Поиск архитектуры нейронных сетей методом обучения с подкреплением
Использование агентов обучения с подкреплением для исследования пространства архитектур нейронных сетей и поиска оптимальных конфигураций.
Эволюционный поиск нейронных архитектур
Применение генетических и эволюционных алгоритмов для эволюции и оптимизации архитектур нейронных сетей.
Индуктивный синтез программ
Автоматическая генерация программ на основе примеров входов-выходов без явных спецификаций.
Поиск нейронной архитектуры на основе градиентов
Дифференцируемая оптимизация архитектур сетей путем релаксации непрерывного пространства поиска для обеспечения градиентного спуска.
Дедуктивный синтез программ
Генерация программ путем формального логического вывода из математических спецификаций и предусловий/постусловий.
Одношаговый поиск нейронной архитектуры
Эффективные подходы, обучающие единую суперсеть, позволяющую быстро оценивать множество архитектур без переобучения.
Синтез вероятностных программ
Генерация программ с моделированием неопределенности и использованием вероятностных методов для исследования пространства поиска.
Поиск архитектур для квантовых сетей
Специализированная оптимизация архитектур квантовых нейронных сетей, адаптированных к ограничениям квантовых вычислений
Синтез программ путем преобразования
Генерация программ путем систематического применения правил преобразования к существующим программам или скелетам кода.
Многоцелевой поиск нейронной архитектуры
Одновременная оптимизация нескольких метрик, таких как точность, задержка, энергопотребление и размер модели.
Синтез программ с помощью машинного обучения
Использование моделей глубокого обучения, таких как трансформеры, для прямой генерации кода из описаний на естественном языке.