Наука

Искусственный разум против теорем: Новая стратегия поиска ошибок

от

Для решения задачи формальной генерации опровергающих примеров, языковая модель сначала выполняет неформальное рассуждение для выявления валидного опровержения заданной проблемы, а затем генерирует соответствующее формальное доказательство, которое автоматически проверяется теоремами (например, Lean 4).

Исследователи разработали систему, обученную на больших языковых моделях, способную находить формальные контрпримеры, подтверждающие ложность математических утверждений.

Оптимизация запасов: как обучение с подкреплением обретает практическую ценность

от

Разрыв между потерями при валидации и тестировании для шести комбинаций методов обучения с подкреплением и регуляризации политики демонстрирует вариативность в обобщающей способности различных конфигураций.

Новый подход к управлению запасами объединяет возможности глубокого обучения с подкреплением с проверенными концепциями классической теории, обеспечивая эффективное решение для оптимизации цепочек поставок.

Скрытая угроза: Поиск «троянцев» в моделях прогнозирования

от

Обученная модель, подвергшаяся отравлению, воспроизводит заданный шаблон в прогнозе при обнаружении специфического триггера в контекстных данных, что ставит задачу реконструкции этого самого триггера как основной аспект исследования.

Исследование посвящено выявлению и нейтрализации скрытых атак на системы глубокого обучения, используемые для прогнозирования временных рядов, что критически важно для обеспечения безопасности космических аппаратов.