# Araştırma notları

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

Document language: tr

KANITLA SINIRLI YANITLAR

Önce sorunu ele alan aramalara yönelik odaklı yanıtlar. Her not; uygulanabilir bir yöntemi, mevcut kanıtları ve atıf yapılan çalışmanın temellendirmediği iddiaları birbirinden ayırır.

Odaklı yanıt

## Kod uzayı ile belirteç uzayı maskeli difüzyonu: nasıl karşılaştırılmalı?

Ayrık kodeğin kayıplı olduğu durumda kod uzayı ve belirteç uzayı maskeli difüzyon dil modelleri için aşamalar arası tutarlı bir karşılaştırma protokolü.

Kod uzayında ve belirteç uzayında maskeli ayrık difüzyona dayalı dil modelleme nasıl karşılaştırılmalıdır?

Odaklı yanıt

## Üretici modellerle yerelleştirilmiş kod değişikliği

Üretici modele istenen kod değişikliğini yapabilecek ölçüde serbestlik tanırken işlevin tamamının gereksiz yere yeniden yazılması nasıl önlenir?

Üretici bir model, işlevin tamamını yeniden yazmadan kodu nasıl değiştirebilir?

Odaklı yanıt

## Yazılım mühendisliği için kısıtlı kod üretimi

Üretilen kod bakımından dil bilgisi kısıtları, tür kısıtları, koruma sınırları ve davranış düzeyindeki kabul denetimleri arasında uygulamaya dönük bir ayrım.

Kısıtlı kod üretimi bir yazılım mühendisliği iş akışında neyi güvence altına alır?

Odaklı yanıt

## Yapay zekâ destekli yeniden düzenleme: yöntemler ve kanıtlar

Yakın tarihli yapay zekâ destekli yeniden düzenleme yöntemleri, makul görünen üretilmiş bir yama doğrulanmış davranış korumasıyla karıştırılmadan nasıl değerlendirilir?

Yapay zekâ destekli, davranışı koruyan yeniden düzenleme için hangi yöntem ve kanıtlar önemlidir?

Odaklı yanıt

## Öngörülebilir kod üretimi bir korunum sözleşmesi gerektirir

Belirlenimci örneklemenin neden yeterli olmadığı ve gözlemlenebilir korunan özelliklerle kabul denetimlerinin kod üretimi davranışını nasıl sınanabilir kıldığı.

Kod üretimini yalnızca denetlenebilir değil, öngörülebilir kılan nedir?

## Bu notların niteliği

Bunlar, yayımlanmış iki çalışmaya ve bunlarla yakından ilişkili yöntemlere erişim için sürdürülen yollardır; yeni deneyler, ürün iddiaları veya resmî makalelerin yerine geçen kaynaklar değildir. Sayısal ifadeler, her sayfada gösterilen kesin deney ortamına ve sınırlılıklara bağlıdır.
