KAPPA: Проверка доказательств в статистических документах с помощью четвёртого языка и языковых моделей

arXiv: 261 030.35596v 1 Annuales Type: New Habstrate: Papers in Statistical Terine spects between to long treaks, что немногие читатели проверяют строки по строкам. Мы представляем KAPPA (Kit of Agents for Treaching Papers with advisory Assistance), программное обеспечение с открытым исходным кодом, которое организовывает языковые модели агентами, работая под руководством Клода Код, для перевода доказательств бумаги LaTeX в ассистент Лиан 4 со своей библиотекой Матлиб и проверки их там, результат по результатам. Каждый результат с пронумерованными номерами получает один из четырех вердиктов: проверенный безоговорочно; проверенный условно, при этом каждый цитируемый или неподтвержденный материал указывается как названная гипотеза; зарегистрированный выпуск, причем его место находится в бумаге и сторона виновата; или незавершенный с указанием причины. Аптечка следует собственным доказательствам бумаги шаг за шагом, вместо того чтобы найти новую. Отдельные агенты пишут и пересматривают, каждое заявление сопоставляются с бумагой до того, как оно будет доказано и отпечатки пальцев после этого, а каждый вердикт основывается на доказательствах, которые могут быть повторно выполнены без языковой модели. Аптечка бегает