# Изследователски бележки

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

Document language: bg

ОТГОВОРИ В ГРАНИЦИТЕ НА ДОКАЗАТЕЛСТВАТА

Фокусирани отговори за търсения, изхождащи от конкретен проблем. Всяка бележка разграничава практическата процедура, наличните към момента доказателства и твърденията, които цитираната работа не установява.

Фокусиран отговор

## Маскирана дифузия в пространството на кодовете спрямо пространството на токените: как да ги сравним

Съгласуван между етапите протокол за сравнение на маскирани дифузионни езикови модели в кодовото и токеновото пространство, когато дискретният кодек внася загуби.

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

Фокусиран отговор

## Локализирана промяна на код с генеративни модели

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

Как генеративен модел може да променя код, без да пренаписва цялата функция?

Фокусиран отговор

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

Практическо разграничение между граматични ограничения, ограничения на типовете, граници на запазване и проверки за приемане на генерирания код на равнище поведение.

Какво гарантира ограниченото генериране на код в работен процес по софтуерно инженерство?

Фокусиран отговор

## Рефакториране с помощта на ИИ: методи и доказателства

Как да се оценяват съвременните методи за рефакториране с помощта на изкуствен интелект, без правдоподобна генерирана кръпка да се бърка с проверено запазване на поведението.

Кои методи и доказателства са съществени за рефакториране със запазване на поведението и помощ от ИИ?

Фокусиран отговор

## Предвидимото генериране на код изисква договор за запазване

Защо детерминираното извадково генериране не е достатъчно и как наблюдаемите защитени свойства и критериите за приемане позволяват поведението на генератора на код да бъде проверявано.

Какво прави генерирането на код предвидимо, а не просто управляемо?

## Какво представляват тези бележки

Те са поддържани входни точки към двете публикувани изследвания и сродните им методи, а не нови експерименти, продуктови твърдения или заместители на официалните публикации. Числените твърдения остават обвързани с точната експериментална постановка и ограниченията, посочени на всяка страница.