AutoVerifier: hat lépéses rendszer a tudományos állítások automatikus ellenőrzéséhez
Az AutoVerifier hat automatizált lépésben validálja a komplex tudományos állításokat — működését egy kvantumszámítástechnikai tézis sikeres ellenőrzésével szemlélteti a fejlesztőcsapat.
A modell egy vitatott kvantumkomputeres állítást ellenőrzött, ráadásul úgy, hogy az elemzőknek nem volt előzetes kvantumfizikai ismeretük — írja az ArXiv. Az AutoVerifier célja, hogy áthidalja azt a szakadékot, ami a felületes pontosság és a mélyebb módszertani érvényesség között feszül a tudományos és technikai hírszerzés (S&TI) területén.
Az AutoVerifier a technikai állításokat strukturált állításhármasokra (alany, állítmány, tárgy) bontja, majd tudásgráfokat épít fel. Ezek a gráfok teszik lehetővé a strukturált érvelést hat, egymásra épülő rétegen keresztül. Ez a rétegzett megközelítés biztosítja a mélyreható elemzést.
A keretrendszer először korpuszt épít és dolgoz fel, majd entitásokat és állításokat von ki. Ezt követi a dokumentumon belüli ellenőrzés, a több forrásból származó adatok összevetése, végül pedig külső jelekkel való megerősítés. Ezek után generálja a végső hipotézis-mátrixot.
Az ügynökalapú LLM-ek, mint amilyen az AutoVerifier is, külső eszközök, például API-k, adatbázisok vagy kódértelmezők meghívásával friss információkhoz férhetnek hozzá. Ezáltal javítják a számítási pontosságot és valós műveleteket hajthatnak végre, komoly előnyt biztosítva a hagyományos módszerekkel szemben.