Уязвимости «нулевого дня»: предсказывая угрозу на опережение

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

Вероятностные требования: от текста к формальной верификации

Редактор вероятностных требований FRET позволяет пользователю вводить требования на естественном языке (в формате FRETish), после чего система интерпретирует их семантику и генерирует соответствующую формулу PCTL$^*$, обеспечивая чёткое и формальное представление исходных намерений.

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

Что ценят люди: как искусственный интеллект расшифровывает систему ценностей

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

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