Наука
GoGoTB: агентный ИИ впервые довел верификацию RTL-дизайнов до..
Исследователи представили фреймворк GoGoTB, который автоматизирует функциональную верификацию чипов. В тестах на 8 RTL-дизайнах система...
GuideSkill повысил точность ИИ-диагностики на 18,5%, исполняя..
Исследователи представили GuideSkill — внешний слой рассуждений, который компилирует критерии клинических рекомендаций в исполняемые...
В Солнечной системе найден первый трехглавый астероид (44) Ниса..
Астрономы обнаружили, что астероид (44) Ниса, расположенный в Главном поясе между Марсом и Юпитером, имеет три лопасти и небольшой спутник....
SDO: новый метод ускоряет пост-обучение больших языковых моделей..
Исследователи представили SDO — фреймворк для организации данных, который ускоряет пост-обучение больших языковых моделей за счет...
ИИ-агенты в игре Werewolf: скрытые цели меняют коллективные..
Исследование arXiv: даже небольшие искажения целей у одного агента в мультиагентной системе ухудшают общие результаты. Публичное поведение...
VeriSimpl решает проблему ошибок при переводе текста в модели..
Исследователи представили VeriSimpl — фреймворк, который использует упрощение для верификации корректности формулировок оптимизационных...
Ускорить старый компьютер с Windows: назван простой способ..
Издание How-To Geek посоветовало отключить ненужные фоновые приложения и визуальные эффекты для ускорения работы Windows на старых ПК....
Ученые выявили новую уязвимость языковых моделей: неполные..
Исследователи описали феномен incomplete prompt jailbreaks: неполные вредоносные запросы заставляют нейросеть давать опасные ответы. Они...
В Сьерра-Леоне внедрили ИИ для справедливого распределения..
Ученые разработали систему машинного обучения, которая помогла эффективнее распределять жизненно важные лекарства в Сьерра-Леоне. Внедрение...
DCGS: новый метод защиты LLM от многошаговых атак в диалогах..
Исследователи предложили фреймворк Dialogue Critic Guided Sampling (DCGS), который защищает языковые модели от атак в многошаговых...
