ОДГОВОРИ ОГРАНИЧЕНИ ДОКАЗИМА

Истраживачке белешке

Циљани одговори за претраге које полазе од проблема. Свака белешка раздваја практичан поступак, тренутно доступне доказе и тврдње које наведени рад не потврђује.

Поделите ове истраживачке белешкеПодели

Циљани одговор

Маскирана дифузија у простору кодова наспрам простора токена: како их упоредити

Протокол поређења доследан фазама за маскиране дифузионе језичке моделе у простору кодова и простору токена када дискретни кодек уноси губитке.

Како треба поредити језичко моделовање маскираном дискретном дифузијом у простору кодова и у простору токена?

Прочитајте белешку о доказима

Циљани одговор

Локализована измена кода помоћу генеративних модела

Како спречити непотребно преписивање целе функције, а генеративном моделу оставити довољно слободе да изврши тражену измену кода.

Како генеративни модел може да измени код а да не препише целу функцију?

Прочитајте белешку о доказима

Циљани одговор

Ограничено генерисање кода за софтверско инжењерство

Практично разграничење граматичких ограничења, ограничења типова, граница очувања и провера прихватљивости генерисаног кода на нивоу понашања.

Шта ограничено генерисање кода гарантује у току софтверског инжењерства?

Прочитајте белешку о доказима

Циљани одговор

Рефакторисање уз помоћ вештачке интелигенције: методи и докази

Како вредновати новије методе рефакторисања уз подршку вештачке интелигенције, а да се уверљива генерисана закрпа не поистовети са потврђеним очувањем понашања.

Који су методи и докази важни за рефакторисање уз помоћ вештачке интелигенције и очување понашања?

Прочитајте белешку о доказима

Циљани одговор

Предвидљиво генерисање кода захтева уговор о очувању

Зашто детерминистичко узорковање није довољно и како уочљива заштићена својства и провере прихватљивости омогућавају испитивање понашања при генерисању кода.

Шта генерисање кода чини предвидљивим, а не само управљивим?

Прочитајте белешку о доказима

Шта представљају ове белешке

Они представљају одржаване приступне тачке ка двема објављеним студијама и сродним методима, а не нове експерименте, тврдње о производима или замену за званичне радове. Бројчани наводи остају везани за тачно експериментално окружење и ограничења приказана на свакој страници.