Наука
Исследователи выпустили CrowdMath: датасет для оценки ИИ в..
Учёные представили CrowdMath — датасет из 164 цепочек обсуждений математических задач на форуме AoPS. Тестирование шести передовых языковых...
WAV v1: новый метод маршрутизации остатков для глубоких..
Исследователи предложили метод WAV v1, который улучшает обучение глубоких трансформеров за счет многоразрешающей маршрутизации остаточных...
Lean4Agent: формальная верификация рабочих процессов LLM-агентов..
Исследователи представили фреймворк Lean4Agent, использующий формальный язык Lean4 для моделирования и проверки рабочих процессов агентов...
Новый алгоритм MSFAN распознает 12 типов полимеров с точностью..
Ученые разработали нейросеть MSFAN для классификации полимеров по данным терагерцовой спектроскопии. Модель достигла точности 85,2%,...
SafeGene: переиспользуемый адаптер безопасности для LLM,..
Исследователи представили SafeGene — многократно используемый модуль безопасности для больших языковых моделей, который восстанавливает...
FAIR-Calib: новый метод сжатия диффузионных LLM снижает ошибки..
Исследователи из FAIR представили FAIR-Calib — двухэтапный метод калибровки для пост-тренировочной квантизации (PTQ) диффузионных больших...
DiBS: диффузионный метод ускоряет решение сложных судоку без..
Исследователи предложили метод DiBS, сочетающий символьный решатель и диффузионную модель для выбора оптимальных ветвлений. На сложном...
Новый фреймворк Elmes* автоматизирует оценку LLM в образовании:..
Исследователи представили Elmes* — систему для создания детализированных оценочных рубрик для языковых моделей в образовательных сценариях....
Новый метод борьбы с предвзятостью ИИ сокращает ошибки на 90%..
Исследователи предложили фреймворк для выявления и устранения предвзятости в алгоритмах машинного обучения. Метод основан на симметрии и...
Мета-анализ 37 исследований: высокобелковая диета снижает..
Ученые провели мета-анализ 37 рандомизированных исследований и выяснили, что диета с высоким содержанием белка (от 30% калорий) за 12...
