Наука
Lean4Agent: формальная верификация рабочих процессов LLM-агентов..
Исследователи представили фреймворк Lean4Agent, использующий формальный язык Lean4 для моделирования и проверки рабочих процессов агентов...
Ученые не нашли третью вспышку у двух кандидатов в повторные TDE..
Два кандидата в повторные частичные приливные разрушения звезд, TDE 2022dbl и TDE 2020vdq, не проявили ожидавшуюся третью вспышку в начале...
Новый алгоритм MSFAN распознает 12 типов полимеров с точностью..
Ученые разработали нейросеть MSFAN для классификации полимеров по данным терагерцовой спектроскопии. Модель достигла точности 85,2%,...
SafeGene: переиспользуемый адаптер безопасности для LLM,..
Исследователи представили SafeGene — многократно используемый модуль безопасности для больших языковых моделей, который восстанавливает...
Ученые выяснили причину аномального уширения спектральных линий..
Исследователи проанализировали 4593 спектра от 407 солнечных вспышек и обнаружили, что уширение линий в ножках вспышек преимущественно...
FAIR-Calib: новый метод сжатия диффузионных LLM снижает ошибки..
Исследователи из FAIR представили FAIR-Calib — двухэтапный метод калибровки для пост-тренировочной квантизации (PTQ) диффузионных больших...
DiBS: диффузионный метод ускоряет решение сложных судоку без..
Исследователи предложили метод DiBS, сочетающий символьный решатель и диффузионную модель для выбора оптимальных ветвлений. На сложном...
Гены CDKN1A и LGALS3 помогут предсказать продолжительность жизни..
Исследователи проанализировали более 11 000 образцов тканей и выявили молекулярные признаки старения. Гены CDKN1A и LGALS3 связаны с...
Квази-звезды помогли раскрыть загадку «маленьких красных точек»..
Астрофизики протестировали модель квази-звезды для объяснения «маленьких красных точек» (LRDs), открытых телескопом JWST. Оказалось, что...
Новый фреймворк Elmes* автоматизирует оценку LLM в образовании:..
Исследователи представили Elmes* — систему для создания детализированных оценочных рубрик для языковых моделей в образовательных сценариях....
