# Onderzoeksnotities

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

Document language: nl

ANTWOORDEN BINNEN DE BEWIJSGRENZEN

Gerichte antwoorden voor zoekopdrachten die vanuit een probleem vertrekken. Elke notitie onderscheidt een praktische werkwijze, het momenteel beschikbare bewijs en de beweringen die het geciteerde werk niet onderbouwt.

Gericht antwoord

## Gemaskeerde diffusie in coderuimte versus tokenruimte: hoe vergelijkt men beide?

Een faseconsistent vergelijkingsprotocol voor taalmodellen met gemaskeerde diffusie in code- en tokenruimte wanneer de discrete codec informatieverlies veroorzaakt.

Hoe moeten taalmodellering met gemaskeerde diffusie in de coderuimte en in de tokenruimte worden vergeleken?

Gericht antwoord

## Lokale codewijziging met generatieve modellen

Hoe onnodig herschrijven van een volledige functie kan worden voorkomen, met behoud van voldoende vrijheid voor een generatief model om de gevraagde codewijziging door te voeren.

Hoe kan een generatief model code wijzigen zonder de volledige functie te herschrijven?

Gericht antwoord

## Codegeneratie onder beperkingen voor software-engineering

Een praktisch onderscheid tussen grammaticale beperkingen, typebeperkingen, behoudsgrenzen en acceptatiecontroles op gedragsniveau voor gegenereerde code.

Welke garanties biedt codegeneratie onder beperkingen binnen een software-engineeringworkflow?

Gericht antwoord

## AI-ondersteunde refactoring: methoden en bewijsmateriaal

Hoe recente AI-ondersteunde refactoringmethoden kunnen worden geëvalueerd zonder een aannemelijk gegenereerde patch te verwarren met geverifieerd gedragsbehoud.

Welke methoden en welk bewijs zijn relevant voor AI-ondersteunde gedragsbehoudende refactoring?

Gericht antwoord

## Voorspelbare codegeneratie vereist een behoudscontract

Waarom deterministische bemonstering niet volstaat en hoe waarneembare beschermde eigenschappen en acceptatiecontroles het gedrag van codegeneratie toetsbaar maken.

Wat maakt codegeneratie voorspelbaar in plaats van slechts stuurbaar?

## Wat deze notities zijn

Het zijn onderhouden toegangsroutes tot de twee gepubliceerde studies en verwante methoden, geen nieuwe experimenten, productclaims of vervangingen voor de officiële artikelen. Numerieke uitspraken blijven gebonden aan de exacte experimentele setting en de beperkingen die op elke pagina worden vermeld.