# Note di ricerca Canonical HTML: https://aogavrilov.com/it/research-notes/ Document language: it RISPOSTE COMMISURATE ALLE EVIDENZE Risposte mirate per ricerche incentrate anzitutto sul problema. Ogni nota distingue una procedura pratica, le evidenze attualmente disponibili e le affermazioni che il lavoro citato non consente di formulare. Risposta mirata ## Diffusione mascherata nello spazio dei codici e nello spazio dei token: come confrontarle Un protocollo di confronto coerente tra le fasi per modelli linguistici a diffusione mascherata nello spazio dei codici e nello spazio dei token, quando il codec discreto comporta una perdita di informazione. Come si dovrebbero confrontare i modelli linguistici a diffusione mascherata nello spazio dei codici e nello spazio dei token? Risposta mirata ## Modifica localizzata del codice mediante modelli generativi Come evitare di riscrivere inutilmente un’intera funzione, lasciando al contempo a un modello generativo libertà sufficiente per apportare la modifica richiesta al codice. Come può un modello generativo modificare il codice senza riscrivere l'intera funzione? Risposta mirata ## Generazione vincolata di codice per l'ingegneria del software Una distinzione operativa tra vincoli grammaticali, vincoli di tipo, confini di preservazione e controlli di accettazione sul comportamento del codice generato. Che cosa garantisce la generazione vincolata di codice in un flusso di ingegneria del software? Risposta mirata ## Refactoring assistito dall'IA: metodi ed evidenze Come valutare i recenti metodi di refactoring assistito dall’IA senza confondere la plausibilità di una patch generata con l’effettiva verifica della preservazione del comportamento. Quali metodi ed evidenze sono rilevanti per il refactoring assistito dall'IA con preservazione del comportamento? Risposta mirata ## La generazione prevedibile di codice richiede un contratto di preservazione Perché il campionamento deterministico non è sufficiente e in che modo proprietà protette osservabili e controlli di accettazione rendono verificabile il comportamento della generazione di codice. Che cosa rende la generazione di codice prevedibile, anziché soltanto controllabile? ## Che cosa sono queste note Si tratta di percorsi di accesso mantenuti ai due studi pubblicati e ai metodi affini, non di nuovi esperimenti, dichiarazioni di prodotto o sostituti degli articoli ufficiali. Le affermazioni numeriche restano vincolate all'esatta configurazione sperimentale e alle limitazioni illustrate in ciascuna pagina.