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
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?
Onderzoeksnotitie over het bewijs lezenGericht antwoord
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?
Onderzoeksnotitie over het bewijs lezenGericht antwoord
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?
Onderzoeksnotitie over het bewijs lezenGericht antwoord
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?
Onderzoeksnotitie over het bewijs lezenGericht antwoord
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?
Onderzoeksnotitie over het bewijs lezenHet 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.