Maxaa dhacay
Qaab-dhismeedka cilmi-baarista cusub ee loo yaqaan LogicTrack ayaa la soo bandhigay si wax looga qabto arrinta moodooyinka luqadaha waaweyn (LLMs) ee soo saaraya jawaabaha ugu dambeeya ee saxda ah iyada oo loo marayo silsilado caqli-gal ah oo cilladaysan. LogicTrack wuxuu u shaqeeyaa sida habka neuro-symbolic kaas oo si toos ah u qaabeeya tillaabooyinka shakhsi ahaaneed ee habka (CoT) ee matalaad calaamad ah. Tusaalooyinkan ayaa markaa la xaqiijiyaa iyadoo la isticmaalayo tibaaxayaal aragti iswada leh si loo hubiyo joogtaynta macquulka ah. Qaab-dhismeedku waxa uu soo bandhigayaa habka Abaalmarinta Dib-u-noqoshada Ku-salaysan Xalliyaha (SBR), kaas oo bixiya dhibco-tilaabo-xikmad leh si ay u hagto dib-u-noqoshada raadinta geedka inta lagu jiro tusmada. Intaa waxaa dheer, cilmi-baarayaashu waxay adeegsadeen LogicTrack si ay u soo saaraan xogta hagaajinta wanaagsan (SFT), taas oo u oggolaanaysa moodooyinka inay bartaan xisaabin-talaabo-xikmad leh oo ah karti gudaha ah.
LogicTrack wuxuu wax ka qabtaa 'sanduuqa madow' dabeecadda Fakarka-Fikirka isagoo soo bandhigaya lakab neuro-calaamadaha. Halkii lagu hallayn lahaa kaliya qaabka qaybinta itimaalka gudaha si loo go'aamiyo tallaabada xigta, qaabdhismeedku wuxuu u beddelaa tallaabo kasta oo sababaynta luqad calaamad rasmi ah.
Nidaamku waxa uu isticmaalayaa tibaaxaha aragtida tooska ah si loo hubiyo ansaxnimada tillaabooyinkan calaamada ah. Haddii tillaabada la ogaado in ay si caqli-gal ah u xun tahay, habka Abaalmarinta Dib-u-noqoshada Ku-salaysan Xalliyaha (SBR) waxa ay kicisaa baadi-goobka geedka, ku khasbaya qaabka in uu sahamiyo waddooyin kale oo macquul ah oo macquul ah.
Marka laga soo tago xisaabinta-waqtiga-xisaabta, cilmi-baarayaashu waxay isticmaaleen qaab-dhismeedka si ay u abuuraan xog-ururin 'raadkii dib-u-noqoshada'. Qaabka hagaajinta xogtan, waxay awood u siiyeen moodooyinka in ay sameeyaan qaab is-audit, halkaas oo moodelku barto in la kala hormariyo dariiqyada macquulka ah ee macquulka ah iyada oo aan loo baahnayn caddaynta aragtida dibadda ee tallaabo kasta oo mustaqbalka ah.
Faahfaahinta isha: arxiv.org ↗
Maxay muhiim u tahay
Ku-tiirsanaanta jawaab-celinta natiijada ku salaysan ee tababarka LLM ee hadda jira waxay inta badan qarisaa tillaabooyinka sababaynta 'dhammaanad' ama macquul ahaan aan ansax ahayn, taas oo keeneysa khataro la taaban karo qaybaha sare sida daawada, sharciga, ama injineernimada halkaasoo geeddi-socodku uu muhiim u yahay natiijada. Marka la isku daro xaqiijinta astaanta rasmiga ah ee jihaynta sababaynta, LogicTrack waxa ay bixisaa hab lagu dhaqan geliyo adagaanta macquulka ah. Isbeddelkan laga soo saaray wax-soo-saarka ixtimaalka kaliya ee loo beddelay caqli-gal astaan ah oo la xaqiijin karo waxay kor u qaadaysaa aaminaadda nidaamyada AI. Awoodda lagu dhexgelinayo habsocodka hanti-dhawrka iyada oo loo marayo hagaajinta wanaagsan waxay soo jeedinaysaa dariiqa loo maro moodooyinka asal ahaan la isku halayn karo oo aan u nugulayn khaladaadka macquulka ah, xitaa marka ay ka shaqeynayaan meel ka baxsan deegaan xaqiijinta rasmiga ah. Wax ku oolnimada qaab-dhismeedka waxa lagu soo bandhigay sideed qodob oo sababaynta iyo todobada LLM ee kala duwan, taas oo muujinaysa ku-dhaqanka balaadhan ee hagaajinta isku halaynta moodeelka.
Tusaalooyinka tababbarka LLM ee hadda ayaa mudnaan siiya jawaabta kama dambaysta ah, taas oo horseedi karta jawaabo 'sax ah' oo laga soo qaatay caqli-gal khaldan. Tani waxay dhibaato ku tahay deegaannada sare-u-qaadka leh halkaas oo habka sababaynta ay tahay inuu ahaado mid la hubin karo oo la xaqiijin karo.
LogicTrack waxay isku xidhaa farqiga u dhexeeya shabakadaha neerfaha ee suurtogalka ah iyo macquulka calaamadda go'aaminta. Iyadoo la xoojinayo joogteynta macquulka ah, waxay yaraynaysaa suurtagalnimada moodooyinka inay ku yimaadaan gabagabo sax ah iyada oo loo marayo talaabooyin dhexdhexaad ah oo khaldan ama aan macno lahayn.
Guusha qaab dhismeedka todobada LLM ee kala duwan waxay soo jeedinaysaa in habku yahay model-agnostic, oo bixinaya hab habaysan oo lagu wanaajiyo tayada silsiladaha sababaynta ee dhismayaasha kala duwan.
Farsamaynta Is-dhexgalka: Sida Dhabta Ay U Shaqeyso
U baadh tignoolajiyada hoose ee ka dambeeya horumarkan si isdhexgal leh.
Which component of an AI application is the machine-learning model itself?
Maxaa la daawan doona xiga
Waxa ugu horreeya ee aan la garanayn ayaa ah xisaabinta sareynta ee la xidhiidha socodsiinta tibaaxaha aragtida tooska ah inta lagu jiro soo-jeedinta, taas oo xaddidi karta hawlgelinta wakhtiga-dhabta ah ee codsiyada xasaasiga ah. Horumarka mustaqbalka waxay u badan tahay inay diiradda saaraan hagaajinta habka qaabaynta tooska ah si loo qabto hawlo kakan oo kakan, hawlo sababaynta xisaabeed ee aan macnaha lahayn halka matalaad calaamadeed ay hadda adag tahay. Waa la arki doonaa sida ugu wanaagsan ee qaab-dhismeedkani uu u miisaamayo qaababka waaweyn, moodooyinka mugdiga badan iyo haddii faa'iidooyinka waxqabadka ee saxnaanta sababaynta ay u tarjumaan isku halaynta dhabta ah ee adduunka ee goobaha aan bartilmaameedka ahayn. Isticmaalayaashu waa inay la socdaan in habkani uu ku dhex milmay tubooyinka tababbarka moodeelka ganacsiga ama haddii ay ugu horrayn sii ahaanayso aaladda-marxaladda cilmi-baadhista ee hawlaha xaqiijinta gaarka ah.
Cilmi baaristu ma qeexdo saameynta daahitaanka ee socodsiinta tibaaxaha aragtida inta lagu jiro soo jeedinta. Korsashada wax ku oolka ah waxay ku xirnaan doontaa haddii lacagtan sare loo dhimi karo jawiga wax soo saarka.
Baaxadda 'auto-formalization' waa xaddidaad muhiim ah. Iyadoo wax ku ool u ah jaangooyooyinka xisaabta iyo macquulka ah, ma cadda sida waxtarka leh ee qaab-dhismeedku u rasmiyan karo sababaynta qaybaha mawduuca ama madmadowga.
Helitaanka koodka iyo tusaalayaasha aragtida gaarka ah ee la adeegsaday laguma tafatirin ku dhawaaqista, taasoo ka tagaysa gelitaanka qaab-dhismeedkan xaqiijinta madaxbannaan ama hirgelinta hadda aan la garanayn.