# یادداشت‌های پژوهشی

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

Document language: fa

پاسخ‌های مقید به شواهد

پاسخ‌های متمرکز برای جست‌وجوهایی که از مسئله آغاز می‌شوند. هر یادداشت، رویه‌ای عملی، شواهد موجود و ادعاهایی را که اثر مورد استناد اثبات نمی‌کند، از یکدیگر تفکیک می‌کند.

پاسخ متمرکز

## پخش نقاب‌دار در فضای کُد در برابر فضای توکن: چگونه مقایسه کنیم؟

پروتکلی برای مقایسهٔ سازگار میان مراحلِ مدل‌های زبانی پخش نقاب‌دار در فضای کُد و فضای توکن، در شرایطی که کُدک گسسته اتلافی است.

مدل‌سازی زبان با پخش نقاب‌دار در فضای کُد و فضای توکن را چگونه باید مقایسه کرد؟

پاسخ متمرکز

## تغییر موضعی کد با مدل‌های مولد

چگونه ضمن حفظ آزادی کافی برای اعمال تغییر درخواستی کد به‌وسیلهٔ مدل مولد، از بازنویسی غیرضروری کل تابع جلوگیری کنیم.

یک مدل مولد چگونه می‌تواند بدون بازنویسی کل تابع، کد را اصلاح کند؟

پاسخ متمرکز

## تولید مقید کُد برای مهندسی نرم‌افزار

تمایزی عملی میان قیود دستور زبان، قیود نوع، مرزهای حفاظت و بررسی‌های پذیرش در سطح رفتار برای کُد تولیدشده.

تولید مقید کُد در گردش‌کار مهندسی نرم‌افزار چه چیزی را تضمین می‌کند؟

پاسخ متمرکز

## بازآرایی به کمک هوش مصنوعی: روش‌ها و شواهد

چگونه روش‌های جدید بازآرایی به کمک هوش مصنوعی را ارزیابی کنیم، بی‌آنکه یک وصلهٔ تولیدشدهٔ باورپذیر را با حفظِ راستی‌آزمایی‌شدهٔ رفتار اشتباه بگیریم.

برای بازآراییِ حافظ رفتار به کمک هوش مصنوعی، کدام روش‌ها و شواهد اهمیت دارند؟

پاسخ متمرکز

## تولید پیش‌بینی‌پذیر کُد به قرارداد حفظ نیاز دارد

چرا نمونه‌گیری قطعی کافی نیست و ویژگی‌های محافظت‌شدهٔ مشاهده‌پذیر و وارسی‌های پذیرش چگونه رفتار تولید کُد را آزمون‌پذیر می‌کنند.

چه چیزی تولید کُد را پیش‌بینی‌پذیر می‌کند، نه صرفاً کنترل‌پذیر؟

## ماهیت این یادداشت‌ها

این صفحات، مسیرهایی نگه‌داری‌شده برای دسترسی به دو مطالعهٔ منتشرشده و روش‌های مرتبط با آن‌ها هستند؛ نه آزمایش‌هایی جدید، ادعاهایی دربارهٔ محصول یا جایگزینی برای مقالات رسمی. گزاره‌های عددی همچنان به تنظیمات دقیق آزمایش و محدودیت‌های نمایش‌داده‌شده در هر صفحه مقیدند.
