Forskningsprojekter

Definér redigeringsgrænsen før genereringen, bevar eller genbrug kildekoden uden for denne grænse, generér kun ændringskandidater, og afvis output, der ikke løser opgaven eller ændrer beskyttede områder. Hierarkisk låsning af latente positioner er én eksperimentel styringsflade, men garanterer ikke identiske spænd i kildekoden. Sammenlign styringsflader til lokaliseret redigering.

Mål diffen uden for det ønskede område sammen med opgavesucces, ændringer i det redigerbare område, strukturelle invarianter, test eller statiske kontroller samt variation mellem gentagne kørsler. Parsingsraten alene påviser kun syntaktisk velformethed. Gennemgå tjeklisten for evidens om lokalitet.

Rapportér stabiliteten i det beskyttede område sammen med friheden i det redigerbare område og kandidaternes entydighed. Kopiering af inputtet kan maksimere stabiliteten uden at løse opgaven, mens ubegrænset omskrivning kan maksimere ændringen og samtidig ødelægge lokaliteten. Se den afgrænsede evidens for stabilitet og frihed.

Lokaliseret redigering fremhæver det, der skal forblive uændret; begrænset generering håndhæver en formel egenskab ved outputtet, såsom tilhørsforhold til en grammatik; og programreparation kræver, at ændringen opfylder en fejl- eller opgavespecifikation. Syntaks alene dokumenterer hverken semantisk ækvivalens, funktionel korrekthed, opgavesucces eller lokalitet. Sammenlign de tre målfunktioner.

Definér beskyttede og redigerbare områder før genereringen, modificér kun den redigerbare repræsentation, dekod, og afvis kandidater, der ændrer beskyttet kode eller ikke opfylder krav til syntaks, test, statiske kontroller eller opgavespecifikke invarianter. Det rapporterede eksperiment med hierarkiske latente repræsentationer måler probabilistisk stabilitet for funktioner på 64 tokens; det garanterer hverken uændrede spænd eller uændret adfærd. Undersøg arbejdsgangen for selektiv regenerering.

Anvend modellen til at identificere eller foreslå en transformation, udfør den derefter om muligt med en betroet refaktoreringsmotor, og verificér kompilering, test, statiske kontroller og den tilsigtede refaktorering. En plausibel genereret patch udgør ikke tilstrækkelig evidens. Åbn beslutningsrækken for refaktorering.

Angiv en observerbar bevarelseskontrakt og acceptkontroller, før generatoren vælges. Forudsigelighed afhænger af, hvad der forbliver stabilt efter afkodning og verifikation, ikke blot af om en prompt, maske, grammatik eller latent kode var fastlåst. Definér bevarelseskontrakten.

Med den samme eksterne evaluator havde MDLM i koderummet en medianperpleksitet på 26.55 mod 38.42 for baselinen i tokenrummet, svarende til en reduktion på 30.9%. Medianen for codec-rekonstruktionen var allerede 27.36, og resultatet skal derfor fortolkes i sammenhæng med rekonstruktionsflaskehalsen. Undersøg de rapporterede tal for hvert trin.

Anvend de samme tilbageholdte samples og den samme evaluator af afkodet tekst til originaler, codec-rekonstruktioner samt output fra token- og koderummet. Rapportér rekonstruktionsforskellen særskilt, fordi en stærkere latent generator ikke kan genskabe information, som codec'et allerede har fjernet. Sammenlign faserne med én evalueringsmodel.

Mål først afstanden fra original til rekonstruktion og derefter afstanden fra rekonstruktion til generering med én uændret evaluator af den afkodede tekst. Derved adskilles codecets kvalitetsloft fra den yderligere forringelse, som latent generering medfører. Følg diagnosticeringen med fire kontrolpunkter.

Et latent proxy-mål kan forbedres uden at følge den relevante efterfølgende egenskab. Afprøv overførsel ved at afkode matchede output og evaluere dem med de samme endelige metrikker; ellers er kodebogens geometri eller udnyttelse fortsat diagnostisk evidens og ikke en forbedring af tekstkvaliteten. Anvend diagnostik af proxyoverførsel.