# Kutatási jegyzetek

Canonical HTML: https://aogavrilov.com/hu/research-notes/

Document language: hu

BIZONYÍTÉKOKKAL KÖRÜLHATÁROLT VÁLASZOK

Célzott válaszok a problémából kiinduló keresésekhez. Minden jegyzet elkülöníti a gyakorlati eljárást, a jelenleg rendelkezésre álló bizonyítékokat és azokat az állításokat, amelyeket a hivatkozott munka nem támaszt alá.

Célzott válasz

## Kódtérbeli és tokentérbeli maszkolt diffúzió: hogyan hasonlítsuk össze őket?

Az értékelési szakaszokon át egységes összehasonlítási protokoll kódtérbeli és tokentérbeli maszkolt diffúziós nyelvmodellekhez, veszteséges diszkrét kodek esetén.

Hogyan érdemes összevetni a kódtérbeli és a tokentérbeli maszkolt diffúziós nyelvmodellezést?

Célzott válasz

## Lokalizált kódmódosítás generatív modellekkel

Hogyan kerülhető el a teljes függvény szükségtelen újraírása úgy, hogy a generatív modellnek elegendő szabadsága maradjon a kért kódmódosítás elvégzésére?

Hogyan módosíthatja egy generatív modell a kódot a teljes függvény újraírása nélkül?

Célzott válasz

## Korlátozott kódgenerálás a szoftverfejlesztésben

Gyakorlati különbségtétel a generált kód nyelvtani és típuskorlátai, megőrzési határai, valamint viselkedésszintű elfogadási ellenőrzései között.

Mit garantál a korlátozott kódgenerálás egy szoftvermérnöki munkafolyamatban?

Célzott válasz

## MI-támogatott refaktorálás: módszerek és bizonyítékok

Hogyan értékelhetők a közelmúlt MI-támogatott refaktorálási módszerei anélkül, hogy egy hihető generált javítást összetévesztenénk a viselkedés igazolt megőrzésével?

Mely módszerek és bizonyítékok számítanak az MI-vel támogatott, viselkedésmegőrző refaktorálásban?

Célzott válasz

## A kiszámítható kódgeneráláshoz megőrzési szerződés szükséges

Miért nem elegendő a determinisztikus mintavételezés, és hogyan teszik tesztelhetővé a kódgenerálás viselkedését a megfigyelhető védett tulajdonságok és az elfogadási ellenőrzések?

Mitől válik a kódgenerálás kiszámíthatóvá, nem csupán vezérelhetővé?

## Mik ezek a jegyzetek?

Ezek karbantartott hozzáférési útvonalak a két megjelent tanulmányhoz és a hozzájuk kapcsolódó módszerekhez, nem új kísérletek, termékállítások vagy a hivatalos tanulmányok helyettesítői. A számszerű állítások továbbra is az egyes oldalakon feltüntetett pontos kísérleti környezethez és korlátokhoz kötődnek.