AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-20
Kuthibitisha Marejeleo ya Hoja Yaliyoandikwa na Binadamu
Kichwa asilia: Verifying Human-Written Reasoning References
Minyororo ya hoja iliyoandikwa na binadamu mara nyingi hutumiwa kama marejeo ya kuhukumu hoja za AI, lakini uungwaji mkono wa kimantiki wa hatua zake hukaguliwa mara chache. Waandishi hutumia LLM kutafsiri hitimisho za hatua kuwa mantiki ya daraja la kwanza na kitatuzi cha Z3 kukagua uhitimisho, wakitumia hili kwa miundo 386 ya P-FOLIO. Kati ya hiyo, 202 (52.3%) ilitimiza vigezo vyote, na hatua 191 kati ya 230 ambazo hazikuhitimishwa na uungwaji mkono wake uliotajwa zilihitimishwa zilipokaguliwa dhidi ya msingi kamili wa hoja.