AI na Matatizo Magumu ya Ulimwengu · Hisabati · arXiv · 2026-10-19
LeanPRM: Usimamizi wa Mchakato Unaotegemea Lean kwa Uthibitishaji wa Uthibitisho wa Lugha Asilia
Kichwa asilia: LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
Uthibitishaji hatua kwa hatua wa uthibitisho mrefu ulioandikwa na AI unahitaji lebo za usahihi kwa kila hatua, ambazo ni ghali kuzipata kutoka kwa binadamu. LeanPRM hutumia kisaidizi cha uthibitisho cha Lean kuweka lebo kila hatua ya uthibitisho wa lugha asilia, bila maelezo ya binadamu. Kithibitishaji cha Qwen3-4B kilichofunzwa kwa hilo kiliinua usahihi wa lebo za hatua kwenye LeanPRM-Bench kutoka 48.2 hadi 74.7, juu ya 60.3 iliyopatikana wakati wa kufunza kwa PRM800K.