# Дослідницькі нотатки

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

Document language: uk

ВІДПОВІДІ В МЕЖАХ ДОКАЗІВ

Цільові відповіді для пошуку, що починається з проблеми. У кожній нотатці розмежовано практичну процедуру, наявні нині докази та твердження, яких цитована праця не підтверджує.

Цільова відповідь

## Маскована дифузія у просторі кодів і токенів: як їх порівнювати

Узгоджений між етапами протокол порівняння мовних моделей маскованої дискретної дифузії у просторі кодів і просторі токенів за використання дискретного кодека з втратами.

Як слід порівнювати мовне моделювання методом маскованої дифузії у просторі кодів і просторі токенів?

Цільова відповідь

## Локалізована модифікація коду за допомогою генеративних моделей

Як уникнути непотрібного переписування всієї функції, водночас залишивши генеративній моделі достатньо свободи для внесення запитаної зміни до коду.

Як генеративна модель може змінювати код, не переписуючи всю функцію?

Цільова відповідь

## Генерація коду з обмеженнями для програмної інженерії

Практичне розмежування граматичних обмежень, обмежень типів, меж збереження та перевірок прийнятності згенерованого коду на рівні поведінки.

Що гарантує обмежена генерація коду в процесі розроблення програмного забезпечення?

Цільова відповідь

## Рефакторинг за допомогою ШІ: методи та докази

Як оцінювати сучасні методи рефакторингу за допомогою ШІ, не плутаючи правдоподібний згенерований патч із підтвердженим збереженням поведінки.

Які методи та свідчення важливі для рефакторингу зі збереженням поведінки за допомогою ШІ?

Цільова відповідь

## Для передбачуваної генерації коду потрібен контракт збереження

Чому детермінованого семплювання недостатньо та як спостережувані захищені властивості й перевірки прийнятності уможливлюють тестування поведінки генератора коду.

Що робить генерацію коду передбачуваною, а не лише керованою?

## Що являють собою ці нотатки

Це підтримувані точки доступу до двох опублікованих досліджень і споріднених із ними методів, а не нові експерименти, заяви про продукт чи заміна офіційних статей. Числові твердження залишаються прив’язаними до точних умов експерименту й обмежень, наведених на кожній сторінці.