Ինչո՞ւ SWE-bench Verified-ը այլևս չի չափում կոդավորման առաջադեմ հնարավորությունները
SWE-bench Verified-ը գնալով ավելի է աղտոտվում։ Մենք խորհուրդ ենք տալիս SWE-bench Pro-ն։
2024 թվականի օգոստոսին SWE-bench Verified -ը առաջին անգամ հրապարակելուց ի վեր, ոլորտը լայնորեն օգտագործել է այն՝ ինքնավար ծրագրային ապահովման ճարտարագիտության առաջադրանքներում մոդելների առաջընթացը չափելու համար։ Թողարկումից հետո SWE-bench Verified-ը տրամադրեց կարողությունների առաջընթացի ուժեղ ազդանշան և դարձավ առաջադեմ մոդելների թողարկումներում ներկայացվող ստանդարտ չափանիշ։ Այս կարողությունների առաջընթացին հետևելը և կանխատեսելը նաև OpenAI-ի Պատրաստվածության շրջանակ-ի կարևոր մաս է կազմում։ Երբ սկզբնապես ստեղծեցինք Verified չափանիշը, փորձեցինք լուծել սկզբնական գնահատման խնդիրները, որոնք որոշ առաջադրանքներ անհնար էին դարձնում կատարել SWE-bench dataset(բացվում է նոր պատուհանում)-ում։
Սկզբնական թռիչքներից հետո SWE-bench Verified-ի նորարար առաջընթացը դանդաղել է՝ վերջին 6 ամիսների ընթացքում բարելավվելով(բացվում է նոր պատուհանում) 74.9%-ից մինչև 80.9%։ Այստեղ հարց է առաջանում. արդյո՞ք մնացած ձախողումները արտացոլում են մոդելի սահմանափակումները, թե՞ տվյալների հավաքածուի ինքնին հատկությունները։
Նոր վերլուծության մեջ մենք հայտնաբերեցինք Verified հավաքածուի հետ կապված երկու հիմնական խնդիր, որոնք ցույց են տալիս, որ չափանիշն այլևս հարմար չէ՝ այսօրվա կատարողականության մակարդակներում առաջադեմ թողարկումների համար ինքնավար ծրագրային ապահովման ճարտարագիտության կարողությունների առաջընթացը չափելու համար:
- Թեստերը մերժում են ճիշտ լուծումները․ մենք աուդիտ ենք իրականացրել տվյալների հավաքածուի 27.6%-ի վրա, որը մոդելները հաճախ չէին կարողանում լուծել։ Պարզվել է, որ աուդի անցած խնդիրների առնվազն 59.4%-ը պարունակում է թերի թեստային դեպքեր, որոնք մերժում են ֆունկցիոնալ առումով ճիշտ ներկայացումները՝ չնայած SWE-bench Verified-ի սկզբնական ստեղծման ընթացքում մեր լավագույն ջանքերին։
- Լուծումների վերաբերյալ ուսուցում. քանի որ խոշոր առաջադեմ մոդելները կարող են տեղեկատվություն սովորել իրենց ուսուցման ընթացքում, կարևոր է, որ դրանք երբեք չուսուցանվեն այն խնդիրների և լուծումների վրա, որոնց հիման վրա գնահատվում են։ Սա նման է նրան, որ ուսանողներին քննությունից առաջ խնդիրներ և լուծումներ են տրվում առաջիկա թեստի համար․ նրանք կարող են չմտապահել պատասխանը, բայց այն ուսանողները, ովքեր նախկինում տեսել են պատասխանները, անշուշտ ավելի լավ կկատարեն, քան նրանք, ովքեր չեն տեսել։ SWE-bench-ի խնդիրները վերցված են բաց կոդով պահոցներից, որոնք շատ մոդել մատակարարներ օգտագործում են ուսուցման նպատակներով։ Վերլուծության ընթացքում մենք պարզեցինք, որ մեր փորձարկած բոլոր առաջադեմ մոդելները կարողացել են վերարտադրել սկզբնական՝ մարդու կողմից գրված սխալի շտկումը, որն օգտագործվել է որպես չափանիշային տվյալներ, որը հայտնի է ոսկե պատչ անվանումով, կամ որոշ առաջադրանքների համար խնդրի նկարագրության բառացի առանձնահատկությունները, ինչը ցույց է տալիս, որ դրանցից բոլորը ուսուցման ընթացքում տեսել են առնվազն որոշ խնդիրներ և լուծումներ։
Մենք նաև ապացույցներ գտանք, որ ուսուցման ընթացքում խնդիրներ տեսած մոդելներն ավելի հավանական է, որ հաջողության կհասնեն, քանի որ նրանք ունեն լրացուցիչ տեղեկություն, որն անհրաժեշտ է թերի սահմանված թեստերը անցնելու համար։
Սա նշանակում է, որ SWE-bench Verified-ում բարելավումները այլևս չեն արտացոլում մոդելների իրական աշխարհում ծրագրային ապահովման մշակման կարողությունների էական բարելավումներ։ Փոխարենը, դրանք ավելի ու ավելի արտացոլում են, թե որքանով է մոդելը ուսուցման ընթացքում առնչվել չափանիշին։ Ահա թե ինչու մենք դադարեցրել ենք SWE-bench Verified-ի միավորների մասին հաշվետվություն ներկայացնելը և խորհուրդ ենք տալիս, որ մյուս մոդելների մշակողները նույնպես այդպես վարվեն։
Մենք կառուցում ենք նոր, չաղտոտված գնահատումներ՝ կոդավորման կարողությունները ավելի լավ հետևելու համար և կարծում ենք, որ սա կարևոր ոլորտ է, որի վրա պետք է կենտրոնանալ ավելի լայն հետազոտական համայնքի համար։ Քանի դեռ մենք չունենք այդ տվյալները, OpenAI-ն խորհուրդ է տալիս արդյունքները ներկայացնել SWE-bench Pro-ի համար։
Սկզբնական SWE-bench(բացվում է նոր պատուհանում) գնահատումը թողարկվել է 2023 թվականին։ Յուրաքանչյուր խնդիր վերցված է 12 բաց կոդով Python պահոցներից մեկում լուծված GitHub խնդրից և զուգակցված է համապատասխան pull request (PR)-ի հետ։ Որոշելու համար, թե արդյոք մոդելի կողմից ստեղծված կոդի փոփոխությունը ճիշտ է, յուրաքանչյուր խնդիր ունի թեստերի երկու հավաքածու՝
- Թեստեր, որոնք ձախողվում են չփոփոխված կոդային բազայում, բայց անցնում են, եթե խնդիրը ճիշտ է շտկված
- Ռեգրեսիոն թեստեր, որոնք անցնում են ինչպես շտկումից առաջ, այնպես էլ հետո՝ համոզվելու համար, որ չառնչվող ֆունկցիոնալությունը մնում է անխաթար։
Մոդելը չի տեսնում թեստերը։ Այն պետք է ստեղծի կոդի փոփոխություն՝ ունենալով միայն սկզբնական խնդրի տեքստը և պահոցի վիճակը՝ շտկումից առաջ։ Խնդիրը համարվում է լուծված միայն այն դեպքում, եթե կոդի փոփոխությունը կիրառելուց հետո բոլոր թեստերը անցնեն։
Մենք հայտնաբերեցինք բազմաթիվ խնդիրներ կապված այդ գնահատման հետ, որոնք կարող են հանգեցնել մոդելների կարողությունների թերագնահատման։
- Որոշ միավորային թեստեր չափազանց կոնկրետ էին կամ չէին համապատասխանում առաջադրանքին, ուստի ճիշտ շտկումները կարող էին մերժվել։
- Շատ առաջադրանքների նկարագրություններ թերի էին սահմանված, ինչը կարող էր հանգեցնել մի քանի վավեր մեկնաբանությունների, մինչդեռ թեստերը ընդգրկում էին միայն մեկ կոնկրետ տարբերակ։
- Կախված միջավայրի կարգավորումից (օրինակ՝ Linux-ի և Windows-ի միջև, կամ Python-ի տարբերակից), որոշ թեստեր կարող են անօրինական եղանակով ձախողվել
Մենք ստեղծեցինք SWE-bench Verified -ը 2024 թվականին՝ այս խնդիրները լուծելու համար։ Մենք աշխատեցինք փորձառու ծրագրային ապահովման ինժեներների հետ՝ վերանայելու 1699 SWE-bench խնդիրներ և զտելու այն պրոբլեմները, որտեղ առկա էին այս խնդիրները։ Յուրաքանչյուր խնդիր վերանայվել է երեք փորձագետների կողմից՝ մեկը մյուսից անկախ։ Այս վերանայման գործընթացի արդյունքում ստացվեց SWE-bench Verified-ը՝ 500 խնդիրներից կազմված ընտրված հավաքածու։
Թեև SWE-bench Verified-ը մեծ բարելավում է սկզբնական տարբերակի համեմատ, մնացորդային խնդիրներ դեռևս մնում են։ Մենք իրականացրել ենք աուդիտ՝ 138 SWE-bench Verified խնդիրների վերաբերյալ, որոնք OpenAI o3‑ը 64 անկախ գործարկումների ընթացքում հետևողականորեն չէր լուծում։ Յուրաքանչյուր դեպք անկախ կերպով վերանայվել է ծրագրային ապահովման առնվազն վեց փորձառու ինժեներների կողմից։ Եթե փորձագետը խնդիր է նշել, այն կրկին ստուգվել է լրացուցիչ թիմի կողմից։
Մենք պարզեցինք, որ 138 խնդիրներից 59.4%-ը պարունակում էր էական խնդիրներ թեստի նախագծման և/կամ խնդրի նկարագրության մեջ, ինչը դրանք դարձնում էր չափազանց դժվար կամ անհնար լուծելի նույնիսկ ամենաունակ մոդելի կամ մարդու համար։
- Աուդիտ անցած առաջադրանքների 35.5%-ը ունի խիստ թեստային դեպքեր, որոնք պարտադրում են իրականացման կոնկրետ մանրամասներ՝ անվավեր դարձնելով բազմաթիվ ֆունկցիոնալ առումով ճիշտ ներկայացումներ, որոնք անվանում ենք նեղ թեստային դեպքեր։
- Աուդիտ անցած առաջադրանքների 18.8%-ն ունի թեստեր, որոնք ստուգում են լրացուցիչ ֆունկցիոնալություն, որը նշված չէր խնդրի նկարագրության մեջ, ինչն անվանում ենք լայն թեստային դեպքեր։
- Առաջադրանքների մնացած 5.1%-ը ուներ տարբեր խնդիրներ, որոնք այս դասակարգման շրջանակում լավ չէին խմբավորվում։
Առաջին ձախողման ռեժիմի պատկերավոր օրինակ է pylint-dev__pylint-4551(բացվում է նոր պատուհանում)-ը, որտեղ PR-ը որպես ընդհանուր լուծման մաս ներմուծում է նոր «get_annotation» ֆունկցիա։ Այս ֆունկցիայի անունը նշված չէ խնդրի նկարագրության մեջ, բայց թեստերի կողմից ներմուծվում է անմիջապես։ Թեև որոշ մոդելներ կարող են ինտուիտիվ եղանակով ստեղծել նման ֆունկցիա, խնդիրը ճիշտ լուծելու համար խստորեն անհրաժեշտ չէ իրականացնել այս հատուկ անունով ֆունկցիա։ Շատ վավեր լուծումներ ձախողվում են թեստերում՝ ներմուծման սխալների պատճառով։
Խնդրի նկարագրություն
PR թեստային հատված
PR թեստերի ձախողումներ (կրճատված՝ ընթեռնելիության համար)
Չափազանց լայն թեստային դեպքերի օրինակ է sympy__sympy-18199(բացվում է նոր պատուհանում)։ Այս առաջադրանքը վերցված է PR-ից, որը վերաբերում էր «nthroot_mod» ֆունկցիայի հետ կապված երեք առանձին խնդիրների, մասնավորապես #17373(բացվում է նոր պատուհանում), #17377(բացվում է նոր պատուհանում), և #18212(բացվում է նոր պատուհանում)։ Սակայն SWE-bench Verified առաջադրանքի նկարագրությունը ընդգրկում է միայն վերջնական խնդիրը #18212(բացվում է նոր պատուհանում)։ Սա ստեղծում է անհամապատասխանություն. PR-ի թեստերը ընդգրկում են բոլոր երեք խնդիրները, մինչդեռ նկարագրությունը մանրամասնում է միայն մեկը։ Մեր գործարկումների ընթացքում մոդելները հաճախ ճիշտ են իրականացնում նկարագրված շտկումը, ապա ձախողում են թեստերը, որոնք ընդգրկում են մյուս երկու խնդիրների իրականացմանը վերաբերող մասը։
PR-ի բնօրինակ նկարագրությունը (GitHub PR-ից)
Խնդրի նկարագրություն #18212-ի համար
SWE-bench Verified առաջադրանքի խնդրի նկարագրությունը (վերցված է միայն #18212-ից)՝
SWE-bench Verified-ը և պահոցները (կոդային բազաները և թողարկման նշումները) երկուսն էլ բաց կոդով են և լայնորեն օգտագործվում ու քննարկվում են, ինչը մոդելների մշակողների համար դժվարացնում է աղտոտումից խուսափելը։
Մենք առաջին անգամ աղտոտման նշաններ նկատեցինք մեր սեփական մոդելներում։ Օրինակ, երբ GPT‑5.2‑ը լուծեց 31 առաջադրանք, որոնք մենք նույնականացրել էինք որպես գրեթե անհնար լուծելի։ django__django-14725(բացվում է նոր պատուհանում) -ում թեստերը պահանջում են հատուկ նոր պարամետր «edit_only», որը խնդրի նկարագրության մեջ հստակորեն պահանջված չէ։ Խնդիրը լուծելիս GPT‑5.2‑ը իր մտքերի շղթայում ցույց է տալիս, որ ունի տեղեկություն թողարկման նշումների մասին, որոնք մանրամասնում են կոդային բազայում կատարված փոփոխությունները, և ճիշտ է նույնականացնում, որ «edit_only» պարամետրը ներդրվել է Django 4.1-ում։
GPT‑5.2 CoT
Ավելի լայն առումով աղտոտվածության նշանակալիությունը գնահատելու համար մենք ստեղծեցինք ավտոմատացված նախափորձարկման կարգավորում։ SWE-bench Verified-ի յուրաքանչյուր հարցի համար մենք հանձնարարեցինք GPT‑5‑ին զննել GPT‑5.2‑Chat‑ը, Claude Opus 4.5 և Gemini 3 Flash Preview՝ աղտոտման համար։ Այս մոդելներն ընտրվել են հիմնավորման մոդելները բացառելու համար, սակայն ընդունում ենք, որ դրանց միջև, հավանաբար, կա ոչ աննշան կարողությունների բաց։
Աղտոտումը հայտնաբերելու համար GPT‑5‑ը ստացել է SWE-bench Verified առաջադրանքի ID-ն, նկարագրությունը, ոսկե պատչը և PR թեստերը։ 15-ից ավելի շրջափուլերի ընթացքում մենք թույլ տվեցինք GPT‑5‑ին փոփոխել համակարգի/մշակողի հարցումը, օգտատիրոջ հարցումը և օգնականի նախալցոնումը, ինչպես նաև տվյալների հավաքագրման տարբեր ռազմավարություններ։ Յուրաքանչյուր շրջափուլից հետո գնահատող մոդելը պիտակավորեց, թե որքան նոր, առաջադրանքին հատուկ տեղեկատվություն է հայտնվել, և յուրաքանչյուր պատասխան պիտակավորվեց աղտոտման լրջության աստիճանով՝ «ոչ մեկ»-ից մինչև «ուժեղ»։ GPT‑5‑ին թույլատրվեց հարմարեցնել իր ռազմավարությունը՝ հիմնվելով նախորդ շրջափուլերի վրա, որպեսզի կրկնաբար վերականգնի առաջադրանքին հատուկ մանրամասները։ Ուժեղ աղտոտման յուրաքանչյուր օրինակի համար մենք մեկ այլ գնահատողի հետ ստուգեցինք, որ GPT‑5‑ը չափազանց շատ տեղեկատվություն չի արտահոսել թիրախային մոդելին։ Վերջապես, այնուհետև մենք ձեռքով վերանայեցինք այս գրառման սղագրությունները կազմող «ուժեղ» օրինակները։
Ստորև բերված են տարբեր մոդելների մատակարարների միջև ուժեղ աղտոտման օրինակներ։
Առաջադրանքի նկարագրությունից տրված կարճ հատվածի հիման վրա GPT‑5.2‑ը արտածում է ճշգրիտ ոսկե պատչը։ Մասնավորապես, այն գիտի դասի և մեթոդի ճշգրիտ անունը, ինչպես նաև նոր վաղ վերադարձի պայմանը «if username is None or password is None», որը ներդրվում է։
Առաջադրանքի ID՝ django__django-11451(բացվում է նոր պատուհանում)
Աղտոտման տվյալների հավաքագրում
Ոսկե պատչ
Opus-ը կարող է ոչ միայն հիշել PR-ի ներմուծած ճշգրիտ 4 տողանոց ֆունկցիոնալ փոփոխությունը՝ դրա դիպչած կոնկրետ ֆայլի անունով և մեթոդով, այլ նաև բառացի մեջբերում է տարբերության մաս կազմող ներտողային մեկնաբանությունը։
Առաջադրանքի ID՝ astropy__astropy-13236(բացվում է նոր պատուհանում)
Աղտոտման տվյալների հավաքագրում
Ոսկե պատչ
Առաջադրանքի վերաբերյալ ID-ից բացի այլ լրացուցիչ տեղեկություն չստանալու դեպքում, Gemini 3 Flash-ը կարողանում է բառացիորեն արտածել առաջադրանքի նկարագրության և ոսկե պատչի մանրամասները։ Սա ներառում է օգտանվան վավերացման համար regex-ի նոր բանաձևը և փոփոխության ճշգրիտ տողահամարները։
Առաջադրանքի ID՝ django__django-11099(բացվում է նոր պատուհանում)
Աղտոտման տվյալների հավաքագրում
Ոսկե պատչ
SWE-bench Verified-ի այս աուդիտից մենք տեսնում ենք գնահատման նախագծման համար երկու ավելի լայն դասեր։ Նախ հանրամատչելի նյութերից վերցված չափանիշերը պարունակում են աղտոտման ռիսկ, քանի որ ուսուցման տվյալների ազդեցությունը կարող է աննկատ բարձրացնել գնահատականները։ Եթե հանրային սողացմամբ հավաքված տվյալներն օգտագործվում են չափանիշի կառուցման մեջ, մոդել մշակողները պետք է իրականացնեն աղտոտման լրացուցիչ թեստեր։ Չափանիշերը, և նույնիսկ դրանց լուծումները, որոնք հրապարակայնորեն են տեղադրված, կարող են հայտնվել ուսուցման տվյալներում։ Լրացուցիչ զգուշություն պետք է ցուցաբերվի թե՛ տվյալների հավաքածուների հրապարակման ձևի (այսինքն՝ գաղտնաբառով պաշտպանված) և՛ ուսուցման տվյալների ֆիլտրում (այսինքն՝ կանարյան տողերին խիստ հետևում)։
Երկրորդ, ավտոմատացված գնահատումը բարդ է ճիշտ անել․ կատարյալ թեստային դեպքերը պետք է լիովին ստուգեն ճիշտ ֆունկցիոնալությունը՝ լինելով թե՛ անաչառ ոչ կարևոր կոնկրետ իրականացման մանրամասների նկատմամբ, և թե՛ կայուն կարճ ճանապարհներով լուծումների հանդեպ։ Այս խնդիրներն իրենց բնույթով բարդ են և դժվար լուծելի։ Այս խնդիրների հայտնաբերումը պահանջեց լայնածավալ մարդկային պիտակավորման բազմաթիվ արշավներ։
Մենք ներառել ենք այս արդյունքները մեր վերջին գնահատման ջանքերում։ Վերջին ամիսներին մենք ընտրել ենք արդյունքները ներկայացնել SWE-Bench Pro-ի հանրային բաժանման հիման վրա։ Մենք խորհուրդ ենք տալիս մյուս մոդել մշակողներին անել նույնը։ SWE-bench Pro-ն կատարյալ չէ, բայց փորձի տեսանկյունից թվում է, որ ավելի քիչ է տուժում աղտոտման խնդիրներից։ Մեր աղտոտման խողովակաշարը հայտնաբերեց աղտոտման որոշ դեպքեր, սակայն այդ դեպքերը զգալիորեն ավելի հազվադեպ և պակաս արտասովոր էին, քան SWE-bench Verified-ում, և ոչ մի մոդել չկարողացավ ստեղծել ամբողջական բառացի ոսկե պատչ։
Մենք կշարունակենք ներդրումներ կատարել բնօրինակ, մասնավոր հեղինակների կողմից կազմված չափորոշիչների մեջ և օգնություն խնդրել արդյունաբերությունից և ակադեմիական շրջանակներից՝ նույնն անելու համար։ GDPVal-ում առաջադրանքները մասնավոր կերպով ստեղծվում են տիրույթի փորձագետների կողմից՝ նվազեցնելով բացահայտման ռիսկը, և լուծումները համապարփակ կերպով գնահատվում են վերապատրաստված վերանայողների կողմից։ Այս մոտեցումը պահանջում է ռեսուրսներ, սակայն գնալով ավելի անհրաժեշտ է դառնում՝ իրական կարողությունների բարելավումները չափելու համար։


