Forskningsprojekt

Definiera redigeringsgränsen före genereringen, bevara eller återanvänd källkod utanför den, generera endast ändringskandidater och förkasta resultat som inte löser uppgiften eller som ändrar skyddade regioner. Hierarkisk latent låsning är en experimentell styrningsyta, men garanterar inte identiska spann i källkoden. Jämför styrningsytor för lokaliserad redigering.

Mät diffen utanför det begärda området tillsammans med uppgiftsframgång, förändringen i det redigerbara området, strukturella invarianter, tester eller statiska kontroller samt variationen mellan upprepade körningar. Enbart parsningstakten fastställer endast syntaktisk välformadhet. Granska checklistan för evidens om lokalitet.

Redovisa de skyddade regionernas stabilitet tillsammans med friheten i den redigerbara regionen och kandidaternas unikhet. Att kopiera indata kan maximera stabiliteten utan att uppgiften förs framåt, medan obegränsad omskrivning kan maximera förändringen men förstöra lokaliteten. Se den avgränsade evidensen för stabilitet och frihet.

Lokal redigering betonar vad som måste förbli oförändrat, villkorsstyrd generering upprätthåller en formell egenskap hos utdata, exempelvis tillhörighet till en grammatik, och programreparation kräver att ändringen uppfyller en fel- eller uppgiftsspecifikation. Enbart syntax bevisar varken semantisk ekvivalens, funktionell korrekthet, uppgiftsframgång eller lokalitet. Jämför de tre målfunktionerna.

Definiera skyddade och redigerbara regioner före genereringen, ändra endast den redigerbara representationen, avkoda och förkasta kandidater som ändrar skyddad kod eller inte klarar syntaxkontroller, tester, statiska kontroller eller uppgiftsspecifika invarianter. Det redovisade experimentet med hierarkiska latenta representationer mäter probabilistisk stabilitet hos funktioner med 64 token; det garanterar inte oförändrade kodavsnitt eller beteenden. Granska arbetsflödet för selektiv omgenerering.

Använd modellen för att identifiera eller föreslå en transformation och utför den därefter, om möjligt, med en betrodd refaktoriseringsmotor. Verifiera kompilering, tester, statiska kontroller och den avsedda refaktoriseringen. En plausibel genererad patch utgör inte tillräcklig evidens. Öppna beslutsraden för refaktorering.

Formulera ett observerbart bevarandekontrakt och acceptanskontroller innan generatorn väljs. Förutsägbarheten beror på vad som förblir stabilt efter avkodning och verifiering, inte enbart på huruvida en prompt, mask, grammatik eller latent kod fixerades. Definiera bevarandekontraktet.

Med samma externa bedömare hade MDLM i kodrymden medianperplexitet 26.55, jämfört med 38.42 för referensmodellen i tokenrymden, vilket motsvarar en minskning med 30.9%. Medianen för kodekrekonstruktionen var redan 27.36, varför resultatet måste tolkas tillsammans med rekonstruktionsflaskhalsen. Granska de redovisade mätvärdena för varje steg.

Använd samma undanhållna sampel och samma bedömare av avkodad text för original, kodekrekonstruktioner, utdata i tokenrymden och utdata i kodrymden. Rapportera rekonstruktionsskillnaden separat, eftersom en starkare latent generator inte kan återvinna information som kodeken redan har avlägsnat. Jämför stegen med en och samma bedömningsmodell.

Mät först skillnaden mellan original och rekonstruktion och därefter skillnaden mellan rekonstruktion och generering med samma oförändrade utvärderare av avkodad text. Därmed särskiljs det kvalitetstak som kodeken sätter från den ytterligare försämring som latentgenereringen medför. Följ diagnostiken med fyra kontrollpunkter.

Ett latent proxymått kan förbättras utan att följa den relevanta efterföljande egenskapen. Pröva överförbarheten genom att avkoda matchade utdata och utvärdera dem med samma slutmått; annars utgör kodbokens geometri eller nyttjande diagnostisk evidens, inte en förbättring av textkvaliteten. Använd diagnostiken för överföring av proxymått.