Per què SWE-bench Verified ja no mesura les capacitats d'avantguarda en programació
SWE-bench Verified està cada cop més contaminat. Recomanem SWE-bench Pro.
Des que vam publicar per primera vegada SWE-bench Verified l’agost de 2024, el sector l’ha utilitzat àmpliament per mesurar el progrés dels models en tasques autònomes d’enginyeria de programari. Després del seu llançament, SWE-bench Verified va proporcionar un senyal sòlid del progrés en capacitats i es va convertir en una mètrica estàndard reportada en els llançaments de models d’avantguarda. El seguiment i la previsió del progrés d’aquestes capacitats també és una part important de l’Entorn de treball de preparació d’OpenAI. Quan vam crear inicialment el benchmark Verified, vam intentar resoldre problemes de l’avaluació original que feien que algunes tasques fossin impossibles de completar al conjunt de dades SWE-bench(s'obre en una finestra nova).
Després dels salts inicials, el progrés de l’estat de l’art a SWE-bench Verified s’ha alentit, millorant(s'obre en una finestra nova) del 74,9 % al 80,9 % en els darrers 6 mesos. Això planteja la pregunta: els errors restants reflecteixen limitacions del model o propietats del mateix conjunt de dades?
En una anàlisi nova, vam trobar dos problemes importants del conjunt Verified que indiquen que el benchmark ja no és adequat per mesurar el progrés en capacitats autònomes d’enginyeria de programari per a llançaments d’avantguarda als nivells de rendiment actuals:
- Les proves rebutgen solucions correctes: Vam auditar un subconjunt del 27,6 % del conjunt de dades que els models sovint no aconseguien resoldre i vam trobar que almenys el 59,4 % dels problemes auditats tenen casos de prova defectuosos que rebutgen enviaments funcionalment correctes, malgrat els nostres millors esforços per millorar això en la creació inicial de SWE-bench Verified.
- Entrenament amb solucions: Com que els grans models d’avantguarda poden aprendre informació del seu entrenament, és important que mai no s’entrenin amb problemes i solucions sobre els quals després s’avaluen. Això és semblant a compartir amb els estudiants, abans de l’examen, els problemes i les solucions d’una prova imminent: potser no memoritzen la resposta, però els estudiants que han vist abans les respostes sens dubte ho faran millor que els qui no les han vist. Els problemes de SWE-bench provenen de repositoris de codi obert que molts proveïdors de models utilitzen amb finalitats d’entrenament. En la nostra anàlisi vam trobar que tots els models d’avantguarda que vam provar eren capaços de reproduir la correcció d’error original escrita per humans utilitzada com a referència de veritat de base, coneguda com el pegat de referència, o bé detalls textuals exactes de l’enunciat del problema per a determinades tasques, cosa que indica que tots ells han vist almenys alguns dels problemes i de les solucions durant l’entrenament.
També vam trobar proves que els models que han vist els problemes durant l’entrenament tenen més probabilitats de tenir èxit, perquè disposen d’informació addicional necessària per superar les proves infraespecificades.
Això significa que les millores a SWE-bench Verified ja no reflecteixen millores significatives en les habilitats dels models per al desenvolupament de programari al món real. En canvi, reflecteixen cada cop més fins a quin punt el model va estar exposat al benchmark durant l’entrenament. Per això hem deixat d’informar de puntuacions de SWE-bench Verified, i recomanem que altres desenvolupadors de models facin el mateix.
Estem construint noves avaluacions no contaminades per seguir millor les capacitats de programació, i creiem que aquesta és una àrea important en què s’hauria de centrar la comunitat de recerca en general. Fins que no les tinguem, OpenAI recomana reportar els resultats de SWE-bench Pro.
L’avaluació original de SWE-bench(s'obre en una finestra nova) es va publicar el 2023. Cada problema s’extreu d’una incidència resolta de GitHub en un dels 12 repositoris de Python de codi obert i s’aparella amb la corresponent sol·licitud d'extracció (PR). Per determinar si un canvi de codi generat per un model és correcte, cada problema inclou dos conjunts de proves:
- Proves que fallen sobre la base de codi no modificada però passen si la incidència es corregeix correctament
- Proves de regressió que passen tant abans com després de la correcció per garantir que la funcionalitat no relacionada es manté intacta.
El model no veu les proves. Ha de produir un canvi de codi només a partir del text original de la incidència i de l’estat del repositori abans de la correcció. Només supera un problema si totes les proves passen després d’aplicar el canvi de codi.
Vam trobar molts problemes en aquella avaluació que podien conduir a infrarepresentar la capacitat dels models.
- Algunes proves unitàries eren massa específiques o estaven desalineades amb la tasca, de manera que correccions correctes podien ser rebutjades.
- Molts enunciats de tasca estaven infraespecificats, cosa que podia conduir a múltiples interpretacions vàlides, mentre que les proves només en cobrien una d’específica.
- Segons la configuració de l’entorn (per exemple Linux enfront de Windows, o la versió de Python), algunes proves podien fallar de manera espúria
Vam crear SWE-bench Verified el 2024 per abordar aquests problemes. Vam treballar amb enginyers de programari experts per revisar 1.699 problemes de SWE-bench i filtrar els problemes que tenien aquestes incidències. Cada problema va ser revisat de manera independent per tres experts. Aquest procés de revisió va donar lloc a SWE-bench Verified, un conjunt seleccionat de 500 problemes.
Tot i que SWE-bench Verified és una gran millora respecte de la versió inicial, encara hi ha problemes residuals. Vam dur a terme una auditoria de 138 problemes de SWE-bench Verified que OpenAI o3 no resolia de manera consistent al llarg de 64 execucions independents. Cada cas va ser revisat de manera independent per almenys sis enginyers de programari amb experiència. Si un expert marcava un problema, un equip addicional el tornava a verificar.
Vam trobar que el 59,4 % dels 138 problemes contenien problemes materials en el disseny de les proves i/o en la descripció del problema, fet que els feia extremadament difícils o impossibles de resoldre fins i tot per al model o humà més capaç.
- El 35,5 % de les tasques auditades tenen casos de prova estrictes que imposen detalls d’implementació específics i invaliden moltes solucions funcionalment correctes; això és el que anomenem casos de prova estrets.
- El 18,8 % de les tasques auditades tenen proves que comproven funcionalitats addicionals que no s’especificaven en la descripció del problema; això és el que anomenem casos de prova amplis.
- El 5,1 % restant de tasques presentava problemes diversos que no s’agrupaven bé dins d’aquesta taxonomia.
Un exemple il·lustratiu del primer mode d’error és pylint-dev__pylint-4551(s'obre en una finestra nova), en què la PR introdueix una nova funció `get_annotation` com a part de la solució global. Aquest nom de funció no s’esmenta a la descripció del problema, però les proves l’importen directament. Tot i que alguns models poden intuir que cal crear una funció així, no és estrictament necessari implementar una funció amb aquest nom concret per abordar correctament el problema. Moltes solucions vàlides fallen a les proves per errors d’importació.
Descripció del problema
Fragment de proves de la PR
Errors de proves de la PR (truncats per llegibilitat)
Un exemple de casos de prova massa amplis és sympy__sympy-18199(s'obre en una finestra nova). Aquesta tasca es va extreure d’una PR que abordava tres problemes diferents de la funció `nthroot_mod`, concretament #17373(s'obre en una finestra nova), #17377(s'obre en una finestra nova) i #18212(s'obre en una finestra nova). La descripció de la tasca de SWE-bench Verified, però, només cobreix l’últim problema, #18212(s'obre en una finestra nova). Això crea un desajust: les proves de la PR cobreixen tots tres problemes, mentre que la descripció només en detalla un. En les nostres execucions, els models sovint implementen correctament la correcció descrita i després fallen en proves que cobreixen la implementació dels altres dos problemes.
Descripció original de la PR (de la PR de GitHub)
Descripció del problema per a #18212
Descripció del problema per a la tasca SWE-bench Verified (només extreta de #18212):
SWE-bench Verified i els repositoris (bases de codi i notes de llançament) són tots dos de codi obert i s’utilitzen i es comenten àmpliament, cosa que dificulta evitar la contaminació per als desenvolupadors de models.
Primer vam detectar indicis de contaminació en els nostres propis models. Per exemple, quan GPT‑5.2 va resoldre 31 tasques que havíem identificat com gairebé impossibles de resoldre. A django__django-14725(s'obre en una finestra nova) les proves requereixen un paràmetre nou concret, `edit_only`, que no és explícitament exigit per l’enunciat del problema. En resoldre el problema, GPT‑5.2 mostra en la seva cadena de pensament que té informació sobre les notes de llançament que detallen canvis a la base de codi, i identifica correctament que el paràmetre `edit_only` es va introduir a Django 4.1.
GPT‑5.2 CoT
Per avaluar com d’important és la contaminació de manera més àmplia, vam crear una configuració automatitzada de red teaming. Per a cada pregunta de SWE-bench Verified, vam encarregar a GPT‑5 que sondés GPT‑5.2‑Chat, Claude Opus 4.5 i Gemini 3 Flash Preview per detectar contaminació. Aquests models es van triar per excloure els models de raonament, tot i que reconeixem que probablement hi ha una diferència de capacitat no trivial entre ells.
Per sondar la contaminació, GPT‑5 va rebre: l’identificador de la tasca de SWE-bench Verified, la descripció, el pegat de referència i les proves de la PR. Al llarg de 15 torns, vam permetre que GPT‑5 variés la indicació del sistema/desenvolupador, la indicació de l’usuari, el text preemplenat de l’assistent i diferents estratègies d’inducció. Després de cada torn, un model jutge etiquetava quanta informació nova i específica de la tasca apareixia i cada resposta es marcava segons la gravetat de la contaminació, des de «cap» fins a «forta». Es permetia a GPT‑5 adaptar la seva estratègia basant-se en els torns previs per recuperar de manera iterativa detalls específics de la tasca. Per a cada exemple de contaminació forta, vam verificar amb un altre jutge que GPT‑5 no hagués filtrat massa informació al model objectiu. Finalment, vam revisar manualment els exemples «forts» que constitueixen les transcripcions d’aquesta publicació.
A continuació es mostren exemples de contaminació forta en diferents proveïdors de models.
Donat un fragment breu de la descripció de la tasca, GPT‑5.2 produeix el pegat de referència exacte. En particular, coneix el nom exacte de la classe i del mètode, i la nova condició exacta de retorn anticipat `if username is None or password is None` que s’hi introdueix.
ID de la tasca: django__django-11451(s'obre en una finestra nova)
Inducció de contaminació
Pegat de referència
Opus és capaç no només de recordar el canvi funcional exacte de 4 línies que va introduir la PR, juntament amb el nom de fitxer i el mètode concrets que va tocar, sinó també de citar textualment el comentari en línia que formava part del diff.
ID de la tasca: astropy__astropy-13236(s'obre en una finestra nova)
Inducció de contaminació
Pegat de referència
Gemini 3 Flash, quan no rep més informació sobre la tasca a part de l’identificador, és capaç de reproduir textualment detalls de la descripció de la tasca i del pegat de referència. Això inclou la nova fórmula regex per a la validació del nom d’usuari i els números de línia exactes del canvi.
ID de la tasca: django__django-11099(s'obre en una finestra nova)
Inducció de contaminació
Pegat de referència
D’aquesta auditoria de SWE-bench Verified, n’extraiem dues lliçons més àmplies per al disseny d’avaluacions. En primer lloc, els benchmarks extrets de material disponible públicament comporten risc de contaminació, en què l’exposició a dades d’entrenament pot inflar silenciosament les puntuacions. Si s’utilitzen dades rastrejades públicament en la construcció del benchmark, els desenvolupadors de models haurien de fer proves addicionals de contaminació. Els benchmarks, i fins i tot les seves solucions, publicats públicament poden acabar a les dades d’entrenament. S’ha de posar una cura especial tant en la manera com es publiquen els conjunts de dades (és a dir, protegits amb contrasenya) com en el filtratge de dades d’entrenament (és a dir, adhesió estricta a les cadenes canari).
En segon lloc, la puntuació automatitzada és difícil d’encertar; els casos de prova perfectes haurien de verificar completament la funcionalitat correcta, tot sent alhora agnòstics respecte de detalls d’implementació específics però poc importants i també robustos davant de solucions drecera. Aquests problemes són intrínsecament complexos i difícils de resoldre. Detectar-los va requerir múltiples campanyes extenses d’etiquetatge humà.
Hem incorporat aquestes conclusions als nostres esforços d’avaluació recents. En els darrers mesos hem triat reportar resultats de la partició pública de SWE-Bench Pro. Recomanem que altres desenvolupadors de models facin el mateix. SWE-bench Pro no és perfecte, però empíricament sembla patir menys problemes de contaminació. El nostre procés de detecció de contaminació va trobar alguns casos de contaminació, però aquests casos eren significativament més rars i menys greus que a SWE-bench Verified, i cap model no va ser capaç de produir un pegat de referència complet i textual.
Continuarem invertint en benchmarks originals, redactats de manera privada, i demanem ajuda a la indústria i al món acadèmic perquè facin el mateix. A GDPVal, les tasques estan redactades de manera privada per experts del domini, cosa que redueix el risc d’exposició, i les solucions són avaluades de manera holística per revisors formats. Aquest enfocament requereix molts recursos, però cada vegada és més necessari per mesurar millores reals de capacitat.


