# Výzkumné poznámky

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

Document language: cs

ODPOVĚDI V MEZÍCH DŮKAZŮ

Cílené odpovědi pro vyhledávání vycházející z konkrétního problému. Každá poznámka odděluje praktický postup, aktuálně dostupné důkazy a tvrzení, která citovaná práce nedokládá.

Cílená odpověď

## Maskovaná difuze v prostoru kódů oproti prostoru tokenů: jak je porovnávat

Protokol konzistentního mezifázového srovnání maskovaných difuzních jazykových modelů v prostoru kódů a tokenů při použití ztrátového diskrétního kodeku.

Jak porovnávat jazykové modelování založené na maskované difuzi v prostoru kódů a v prostoru tokenů?

Cílená odpověď

## Lokalizované změny kódu pomocí generativních modelů

Jak zabránit zbytečnému přepisování celé funkce a současně ponechat generativnímu modelu dostatek volnosti k provedení požadované změny kódu.

Jak může generativní model upravit kód, aniž by přepsal celou funkci?

Cílená odpověď

## Omezené generování kódu pro softwarové inženýrství

Praktické rozlišení gramatických omezení, typových omezení, hranic zachování a akceptačních kontrol generovaného kódu na úrovni chování.

Co zaručuje omezené generování kódu v pracovním postupu softwarového inženýrství?

Cílená odpověď

## Refaktorizace s podporou AI: metody a důkazy

Jak hodnotit současné metody refaktorizace podporované umělou inteligencí, aniž bychom zaměňovali věrohodně působící vygenerovanou záplatu za ověřené zachování chování.

Které metody a důkazy jsou podstatné pro refaktorizaci s podporou AI, která zachovává chování?

Cílená odpověď

## Předvídatelné generování kódu vyžaduje kontrakt zachování

Proč deterministické vzorkování nestačí a jak pozorovatelné chráněné vlastnosti spolu s akceptačními kontrolami umožňují testovat chování generování kódu.

Co činí generování kódu předvídatelným, a nikoli pouze řiditelným?

## Co představují tyto poznámky

Jde o udržované přístupové cesty ke dvěma publikovaným studiím a příbuzným metodám, nikoli o nové experimenty, produktová tvrzení či náhradu oficiálních článků. Číselná tvrzení zůstávají vázána na přesné experimentální podmínky a omezení uvedená na každé stránce.