# Noty badawcze

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

Document language: pl

ODPOWIEDZI OGRANICZONE ZAKRESEM DOWODÓW

Ukierunkowane odpowiedzi na zapytania wychodzące od problemu. Każda nota oddziela praktyczną procedurę, obecnie dostępne dowody oraz twierdzenia, których cytowana praca nie potwierdza.

Odpowiedź ukierunkowana

## Maskowana dyfuzja w przestrzeni kodów a w przestrzeni tokenów: jak je porównywać

Protokół porównawczy spójny między etapami dla maskowanych dyfuzyjnych modeli językowych działających w przestrzeni kodów i w przestrzeni tokenów, gdy kodek dyskretny jest stratny.

Jak porównywać modelowanie języka za pomocą maskowanej dyfuzji w przestrzeni kodów i w przestrzeni tokenów?

Odpowiedź ukierunkowana

## Lokalna modyfikacja kodu za pomocą modeli generatywnych

Jak zapobiegać zbędnemu przepisywaniu całej funkcji, a zarazem pozostawić modelowi generatywnemu dość swobody, by wprowadził żądaną zmianę w kodzie.

Jak model generatywny może modyfikować kod bez przepisywania całej funkcji?

Odpowiedź ukierunkowana

## Generowanie kodu z ograniczeniami na potrzeby inżynierii oprogramowania

Praktyczne rozróżnienie między ograniczeniami gramatycznymi, ograniczeniami typów, granicami zachowania a testami akceptacyjnymi wygenerowanego kodu na poziomie zachowania.

Co gwarantuje ograniczone generowanie kodu w procesie inżynierii oprogramowania?

Odpowiedź ukierunkowana

## Refaktoryzacja wspomagana przez AI: metody i dowody

Jak oceniać najnowsze metody refaktoryzacji wspomaganej przez AI, nie myląc wiarygodnie wyglądającej wygenerowanej poprawki ze zweryfikowanym zachowaniem programu.

Które metody i wyniki są istotne w refaktoryzacji zachowującej działanie programu i wspomaganej przez AI?

Odpowiedź ukierunkowana

## Przewidywalne generowanie kodu wymaga kontraktu zachowania

Dlaczego próbkowanie deterministyczne nie wystarcza oraz w jaki sposób obserwowalne właściwości chronione i kryteria akceptacji pozwalają testować zachowanie procesu generowania kodu.

Co sprawia, że generowanie kodu jest przewidywalne, a nie tylko sterowalne?

## Czym są te uwagi

Są to utrzymywane punkty dostępu do dwóch opublikowanych badań i metod bezpośrednio z nimi związanych, a nie nowe eksperymenty, deklaracje dotyczące produktu ani zamienniki oficjalnych artykułów. Stwierdzenia liczbowe odnoszą się wyłącznie do dokładnej konfiguracji eksperymentalnej i ograniczeń przedstawionych na każdej stronie.