Overiteľný kompilátor dôkazov pre systematické prehľady podporované veľkými jazykovými modelmi

Článok predstavuje rámec na spájanie spracovávania dôkazov podporovaného veľkými jazykovými modelmi (LLM) s verzovaným a overiteľným výstupom syntézy. Výskumný tím použil LLM agentov na interpretáciu zdrojov a extrahovanie údajov, pričom deterministický kód vynucoval štatistické pravidlá a výskumníci riešili nejednoznačnosti. V retrospektívnej analýze jedného registrovaného prognostického prehľadu bolo zdokumentovaných 50 koreňových príčin chýb, z toho 12 zmenilo výsledky pred opravou. Štyridsať šesť chýb bolo vyriešených a štyri zostali ako zverejnené obmedzenia. Korpus obsahoval 454 správ, 445 štúdií, 441 kohortných entít a 421 zhlukov závislostí. Všetkých 39 zdrojových záznamov dosiahlo konečný stav a dve implementácie sa zhodli v 1 217 numerických porovnaniach. Rámec umožňuje kontrolu syntetizovaných dôkazov spolu s ich pôvodom, štatistickým významom a históriou opráv.