# Исследовательские заметки

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

Document language: ru

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

Сфокусированные ответы для поиска от практической задачи. Каждая заметка отделяет процедуру, имеющиеся доказательства и утверждения, которых цитируемые работы не устанавливают.

Сфокусированный ответ

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

Согласованный по этапам протокол сравнения маскированных диффузионных языковых моделей в пространстве кодов и токенов при использовании дискретного кодека с потерями.

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

Сфокусированный ответ

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

Как избежать ненужного переписывания всей функции, сохранив генеративной модели достаточно свободы для требуемого изменения кода.

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

Сфокусированный ответ

## Ограниченная генерация кода для программной инженерии

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

Что гарантирует ограниченная генерация кода в процессе разработки программного обеспечения?

Сфокусированный ответ

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

Как оценивать современные методы рефакторинга с помощью ИИ, не принимая правдоподобный сгенерированный патч за подтверждённое сохранение поведения.

Какие методы и доказательства важны для рефакторинга с помощью ИИ и сохранением поведения?

Сфокусированный ответ

## Предсказуемой генерации кода нужен контракт сохранения

Почему детерминированного сэмплирования недостаточно и как наблюдаемые защищаемые свойства вместе с проверками приёмки делают поведение генератора кода проверяемым.

Что делает генерацию кода предсказуемой, а не просто управляемой?

## Что представляют собой эти заметки

Это поддерживаемые входы в две опубликованные работы и смежные методы, а не новые эксперименты, продуктовые заявления или замена официальных статей. Численные утверждения остаются привязаны к точным экспериментальным условиям и ограничениям каждой страницы.