# Mga tala sa pananaliksik

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

Document language: fil

MGA SAGOT NA NILILIMITAHAN NG EBIDENSIYA

Mga nakatuong sagot para sa paghahanap na inuuna ang problema. Inihihiwalay ng bawat tala ang praktikal na pamamaraan, kasalukuyang ebidensiya, at mga pahayag na hindi pinatutunayan ng siniping akda.

Nakatuong sagot

## Code-space at token-space masked diffusion: kung paano paghahambingin ang mga ito

Protocol ng paghahambing na pare-pareho sa bawat yugto para sa mga code-space at token-space masked diffusion language model kapag lossy ang discrete codec.

Paano dapat paghambingin ang code-space at token-space masked diffusion language modeling?

Nakatuong sagot

## Lokalisadong pagbabago ng code gamit ang mga generative model

Kung paano maiiwasan ang di-kailangang muling pagsulat sa buong function habang binibigyan ang generative model ng sapat na kalayaang gawin ang hinihinging pagbabago sa code.

Paano mababago ng isang generative model ang code nang hindi muling isinusulat ang buong function?

Nakatuong sagot

## Constrained code generation sa software engineering

Praktikal na paglilinaw sa pagkakaiba ng mga grammar constraint, type constraint, hangganan ng pagpapanatili, at behavior-level acceptance check para sa nabuong code.

Ano ang ginagarantiya ng constrained code generation sa workflow ng software engineering?

Nakatuong sagot

## Refactoring na tinutulungan ng AI: mga pamamaraan at ebidensiya

Kung paano susuriin ang mga bagong pamamaraan ng refactoring na tinutulungan ng AI nang hindi ipinagkakamali ang kapani-paniwalang nabuong patch sa napatunayang pagpapanatili ng gawi.

Aling mga pamamaraan at ebidensiya ang mahalaga sa refactoring na tinutulungan ng AI at nagpapanatili ng gawi?

Nakatuong sagot

## Kailangan ng mahuhulaang pagbuo ng code ang isang kasunduan sa pagpapanatili

Kung bakit hindi sapat ang deterministikong sampling, at kung paano ginagawang masusubok ng mga naoobserbahang protektadong katangian at acceptance check ang gawi ng pagbuo ng code.

Ano ang dahilan kung bakit mahuhulaan, at hindi lamang nakokontrol, ang pagbuo ng code?

## Ano ang mga talang ito

Pinananatili ang mga ito bilang mga daan patungo sa dalawang nailathalang pag-aaral at mga kaugnay na pamamaraan, hindi bilang mga bagong eksperimento, pahayag tungkol sa produkto, o pamalit sa mga opisyal na papel. Nananatiling nakatali ang mga numerikal na pahayag sa eksaktong eksperimental na setting at mga limitasyong ipinakikita sa bawat pahina.