AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-22
ORSMT: Kufungua Uwezo wa Satisfiability Modulo Theories kwa Uthibitisho na Ukarabati wa Kimaanisha katika Optimization Inayotegemea LLM
Kichwa asilia: ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization
ORSMT inashughulikia uthibitisho wa kimaanisha katika uundaji wa modeli za optimization zinazotegemea LLM, ambapo kuhakiki ikiwa hisabati iliyoandikwa, msimbo wa solver na ripoti iliyorejeshwa vinaelezea tatizo lilelile kunahitaji ulinganisho wa kimaanisha. Inutoa kiolesura cha kimaanisha chenye aina na maswali sahihi ya mahusiano ya SMT, kuthibitisha au kukanusha mahusiano ya eneo-linalowezekana na ya objective, kubainisha mahali kukanusha kunakotokea, na kuunda upya kipengele kimoja kutoka kwingine. Katika matatizo 3,034 na saizi sita za jenareta, inaboresha kiwango cha kulingana kwa modeli-msimbo katika michanganyiko yote 72, na uteuzi uliolindwa unaongeza kiwango cha jumla kutoka 43.2% hadi 88.2% na sehemu ya sahihi-na-iliyolingana kutoka 25.2% hadi 40.2%.