پرش به محتوا
15/30فصل 15 از 30

Prompt Engineering با عدد و سنجش: چه چیزی خروجی را تغییر می‌دهد

۶۰ تیکت، همان واژه‌ها در شش ترتیب، و دقت 26.7 % تا 85.0 %. سپس چهار ترفند اینترنتی با error bar برای هرکدام.

در این صفحه

این یک تیکت پشتیبانی است، و چهار صفی که می‌تواند به یکی از آن‌ها برود.

TEXT
The label on the parcel has my old surname on it.
    -> billing / technical / shipping / account

برای route کردن آن، در prompt به سه چیز نیاز دارید: تعریف صف‌ها، خود تیکت، و دستور انتخاب یکی از آن‌ها. سه بلوک. می‌توانید آن‌ها را در شش ترتیب بچینید، و بلوک‌ها در هر شش حالت دقیقاً همان کاراکترها را دارند.

روی شصت تیکت با پاسخ‌های معلوم، شش ترتیب بین 26.7 % و 55.0 % امتیاز می‌گیرند. همان دو بلوک را از نوبت کاربر بیرون ببرید و به نوبت system منتقل کنید، بدون تغییر حتی یک واژه، و همان مدل 76.7 % امتیاز می‌گیرد. تیکت را در یک تگ به سبک XML بپیچید و به 85.0 % می‌رسد.

هیچ چیز درباره مدل تغییر نکرد. هیچ چیز درباره وظیفه تغییر نکرد. حتی یک واژه بازنویسی نشد. نوسانی پنجاه‌وهشت امتیازی فقط از چیدن همان متن به شکلی دیگر به وجود آمد.

این دلیل وجود این فصل است، و هم‌زمان دلیل این است که این موضوع یکی از آلوده‌ترین موضوعات حوزه به «آیین‌های بی‌پایه» است. اثرها واقعی و بزرگ‌اند، پس هر روایت شخصی حس تأییدشدن پیدا می‌کند؛ و در مدل‌ها و وظیفه‌های مختلف ناپایدارند، پس بیشتر توصیه‌ها در نهایت چیزی جز روایت شخصی نیستند. بنابراین این فصل یک قانون دارد، و هرچه در آن است تابع همان قانون است:

prompt را باید سنجید، نه بحث کرد. چهار نسخه روی بیست مورد عملاً هیچ چیز را از هم جدا نمی‌کند.

پیش از اندازه‌گیری‌ها، یک واقعیت که بی‌سروصدا نیمی از آنچه بعد می‌آید را توضیح می‌دهد.

مدل حافظه ندارد. بین دو فراخوانی هیچ چیز را نگه نمی‌دارد — نه پرسش قبلی شما، نه پاسخ قبلی خودش، نه فایلی که پیوست کرده‌اید، نه این واقعیت که قبلاً دو بار از آن پرسیده‌اید. هر فراخوانی از یک ماشین خالی شروع می‌شود، و تنها چیزی که آن ماشین می‌داند دنباله tokenهایی است که همین حالا به آن داده‌اید.

چیزی که در رابط چت شبیه حافظه به نظر می‌رسد، client شماست که کل مکالمه را، نوبت به نوبت، از ابتدا دوباره می‌فرستد. مدل هر بار همه آن را از صفر دوباره می‌خواند. فصل 13 هزینه این بازخوانی را در یک forward pass اندازه گرفت؛ فصل 16 آن را به یک خط روی فاکتور تبدیل می‌کند. آنچه اینجا مهم است پیامد طراحی است: prompt پیامی به سیستمی نیست که state دارد. خود state است.

این واقعیت یک خانواده از سردرگمی‌ها را کنار می‌گذارد. «مدل یادش رفت چه گفته بودم» معمولاً یعنی آن چیز اصلاً فرستاده نشده بود. «دستور قبلی من را نادیده گرفت» معمولاً یعنی آن دستور وقتی history کوتاه شد، از window بیرون افتاد. «در production متفاوت رفتار کرد» معمولاً یعنی production prompt متفاوتی از چیزی که شما تست کرده‌اید می‌سازد. هیچ‌کدام مشکل مدل نیستند، و هیچ‌کدام با بازنویسی چیزی حل نمی‌شوند.

ادعای «این prompt بهتر است» ادعایی درباره یک توزیع است، و با نگاه کردن به یک خروجی نمی‌توانید توزیع را ببینید. چیزی که لازم دارید کسل‌کننده است: موردهایی با پاسخ معلوم، N نسخه، و یک بازه.

harness پنجاه خط TypeScript است با همان شکل client از فصل 14 — یک request، یک deadline، کمی concurrency، یک شمارش. در فصل 19 دوباره ظاهر می‌شود تا یک retriever را ارزیابی کند و در فصل 29 به‌عنوان golden set.

bench.tsTS
export type Case = { input: string; expected: string };
export type Variant = { name: string; build: (c: Case) => ChatMessage[] };

async function pooled<T, R>(xs: T[], n: number, f: (x: T) => Promise<R>) {
  const out: R[] = new Array(xs.length);
  let i = 0;
  await Promise.all(
    Array.from({ length: n }, async () => {
      while (i < xs.length) {
        const k = i++;
        out[k] = await f(xs[k]);
      }
    }),
  );
  return out;
}

export async function runVariant(v: Variant, cases: Case[], concurrency = 6) {
  const hits = await pooled(cases, concurrency, async (c) => {
    const answer = await complete(v.build(c));      
    return answer.trim().toLowerCase() === c.expected;
  });
  return { name: v.name, hits, k: hits.filter(Boolean).length, n: cases.length };
}

عددی که برمی‌گردد نتیجه نیست. نتیجه این است:

stats.tsTS
/** 95 % Wilson score interval for a proportion. Chapter 4 derives it. */
export function wilson(k: number, n: number, z = 1.96) {
  const p = k / n;
  const d = 1 + (z * z) / n;
  const centre = (p + (z * z) / (2 * n)) / d;
  const half = (z * Math.sqrt((p * (1 - p)) / n + (z * z) / (4 * n * n))) / d;
  return [Math.max(0, centre - half), Math.min(1, centre + half)] as const;
}

فصل 4 استدلال را ساخت و این فصل آن را نقد می‌کند. هفده درست از بیست یعنی 85 %، و بازه 95 % آن از 64 % تا 95 % می‌رود. نسخه‌ای که 13 از 20 امتیاز می‌گیرد — 65 %، که حس می‌شود آشکارا بدتر است — بازه‌ای از 43 % تا 82 % دارد. این دو بازه تقریباً در تمام طولشان هم‌پوشانی دارند. بیست مورد نمی‌تواند یک prompt خوب را از یک prompt متوسط جدا کند، و بیشتر توصیه‌های منتشرشده درباره prompt روی کمتر از این اعتبارسنجی شده‌اند.

شصت مورد، یعنی چیزی که این فصل استفاده می‌کند، هنوز زیاد نیست. برای دیدن اثرهای بزرگ کافی است و آن‌قدر صادق هست که وقتی نمی‌تواند اثرهای کوچک را ببیند اعتراف کند — و پایین‌تر چند بار همین کار را خواهد کرد.

جایگاه: همان واژه‌ها، شش ترتیب

لینک به بخش: جایگاه: همان واژه‌ها، شش ترتیب

سه بلوک — rules R، ticket T، instruction I — که در یک پیام user به هم چسبانده شده‌اند. همه شش جایگشت، محتوای byte-identical، هرکدام شصت مورد.

ترتیب سه بلوکدرستدقت، 95 % Wilson
rules، instruction، ticket33/6055.0 % [42.5, 66.9]
rules، ticket، instruction30/6050.0 % [37.7, 62.3]
ticket، rules، instruction22/6036.7 % [25.6, 49.3]
instruction، ticket، rules21/6035.0 % [24.2, 47.6]
instruction، rules، ticket17/6028.3 % [18.5, 40.8]
ticket، instruction، rules16/6026.7 % [17.1, 39.0]

از بهترین تا بدترین 28.3 امتیاز فاصله است، و بازه‌ها هم‌پوشانی ندارند، پس این یکی داستان noise نیست. چون هر arm روی همان شصت آیتم امتیاز گرفته، پرسش دقیق‌تر پرسش paired است: در موردهایی که دو arm اختلاف دارند، شکاف چقدر یک‌طرفه است؟ رفتن از بدترین ترتیب به بهترین، 21 مورد را درست و 4 مورد را غلط کرد — احتمال paired دقیق 0.0009.3

جدول را برای شکلش بخوانید نه برنده‌اش. دو ردیف بهتر هر دو با ticket تمام می‌شوند؛ دو ردیف بدتر instruction را وسط دفن می‌کنند یا بعد از data دنبال آن می‌آورند. این همان پدیده‌ای است که Liu و همکاران Lost in the Middle نامیدند: ماده‌ای که در لبه‌های prompt است قابل‌اعتمادتر از ماده‌ای در مرکز استفاده می‌شود.4 فصل 16 برای window قیمت می‌گذارد و فصل 24 اثر را درست در طول زیاد اندازه می‌گیرد، جایی که middle همان‌طور که توصیف شده فرو می‌ریزد و بازیابی در انتهای کاملاً آخر دوباره ظاهر نمی‌شود. اینجا قاعده عملی خودش بیرون می‌افتد: task بالا، data پایین، هیچ چیز مهمی در وسط.

حالا همان واژه‌ها را بین نوبت‌ها جابه‌جا کنید. فصل 11 نشان داد که chat template تزئینی دور مدل نیست، بلکه بخشی از آن است — <|im_start|>system و <|im_start|>user tokenهای واقعی‌اند که مدل میلیون‌ها بار در طول fine-tuning دقیقاً در همان جایگاه‌ها دیده است. پس باید مهم باشد که instruction شما در کدام طرف آن markerها فرود می‌آید، و مهم هم هست:

همان واژه‌ها کجا قرار دارنددرستدقت، 95 % Wilson
rules و instruction در نوبت system، ticket تنها در نوبت user46/6076.7 % [64.6, 85.6]
rules در نوبت system، instruction و ticket در نوبت user44/6073.3 % [61.0, 82.9]
rules و instruction در نوبت system، instruction پس از ticket تکرار شده42/6070.0 % [57.5, 80.1]
هر سه بلوک در یک نوبت user33/6055.0 % [42.5, 66.9]

بردن rules و instruction از آن سوی مرز template 21.7 امتیاز خرید — 19 مورد به دست آمد، 6 مورد از دست رفت، احتمال paired برابر 0.0146 — بدون تغییر حتی یک کاراکتر. این پاسخ ملموس به system prompt در برابر user prompt است: آن‌ها دو راه برای گفتن یک چیز نیستند. دو جایگاه token متفاوت در ساختاری‌اند که مدل روی آن آموزش دیده، و جایگاه system همان‌جایی است که instructionهای مربوط به کل مکالمه باید قرار بگیرند.

به ردیف سوم هم توجه کنید. تکرار instruction بعد از ticket — ترفندی که زیاد توصیه می‌شود — کمتر از یک بار گفتن آن امتیاز گرفت. روی این مدل، روی این وظیفه، دو بار گفتن بدتر از یک بار گفتن بود.

delimiterها، و درس آماری پنهان در آن‌ها

لینک به بخش: delimiterها، و درس آماری پنهان در آن‌ها

همان prompt، بهترین placement، شصت مورد. تنها چیزی که تغییر می‌کند چیزی است که دور متن ticket قرار می‌گیرد.

ticket چگونه delimiter شده استدرستدقت، 95 % Wilson
یک تگ به سبک XML51/6085.0 % [73.9, 91.9]
هیچ چیز48/6080.0 % [68.2, 88.2]
یک تیتر Markdown47/6078.3 % [66.4, 86.9]
یک label، Ticket:46/6076.7 % [64.6, 85.6]
hash fences45/6075.0 % [62.8, 84.2]
triple backticks44/6073.3 % [61.0, 82.9]
نقل‌قول دوتایی40/6066.7 % [54.1, 77.3]

هجده امتیاز اختلاف از punctuation. اما به دو بازه افراطی نگاه کنید: [73.9, 91.9] و [54.1, 77.3]. هم‌پوشانی دارند. با خوانش خام — error barها را مقایسه کن، و اگر لمس شدند چیزی نگو — این جدول هیچ چیز را ثابت نمی‌کند.

اینجا خوانش خام اشتباه است، و فهمیدن چرایش از خود جدول ارزشمندتر است. هر نسخه روی همان شصت ticket امتیاز گرفته، پس دو اندازه‌گیری sampleهای مستقل نیستند؛ paired هستند. بیشتر عرض هر بازه از منبعی از عدم‌قطعیت می‌آید که هر دو arm در آن شریک‌اند — اینکه آیا این شصت ticket نماینده‌اند یا نه — و این منبع وقتی آن‌ها را با هم مقایسه می‌کنید حذف می‌شود. به‌جایش پرسش paired را بپرسید و پاسخ تیز است: رفتن از نقل‌قول دوتایی به تگ XML 12 مورد را درست و 1 مورد را غلط کرد، احتمال paired برابر 0.0034. این یک تفاوت واقعی است.

و بعد همان تست headline را کم‌باد می‌کند. تگ XML از label ساده Ticket: به اندازه 8.3 امتیاز بهتر بود، همان عددی که یک پست وبلاگی در عنوانش می‌گذاشت. Paired: 6 به دست آمده، 1 از دست رفته، احتمال 0.1250. ثابت نشده. آن بهبود مشهور روی هفت مورد تکیه دارد.

پس دو پرسش با دو ابزار متفاوت وجود دارد، و قاطی کردنشان همان چیزی است که توصیه‌های prompt را هم‌زمان در هر دو جهت خراب می‌کند:

این prompt چقدر خوب است؟ بازه Wilson روی دقت خودش. مگر اینکه صدها مورد داشته باشید، عریض است. این عددی است که به کسی گزارش می‌کنید که می‌خواهد تصمیم بگیرد ship کند یا نه.

آیا B از A بهتر است؟ تست paired روی موردهایی که در آن‌ها اختلاف دارند. بسیار حساس‌تر، چون سختی مشترک مجموعه حذف می‌شود. این عددی است که برای انتخاب بین دو candidate استفاده می‌کنید.

یافته کلی — اینکه مدل‌ها به انتخاب‌های formatting که هیچ محتوای معنایی ندارند شدیداً و غیرقابل‌پیش‌بینی حساس‌اند — تازه نیست. Sclar و همکاران فقط separatorها، فاصله‌گذاری و casing را در ده‌ها task تغییر دادند و spread دقتی پیدا کردند که آن‌قدر بزرگ بود که rankingهای منتشرشده مدل‌ها را برعکس کند.5 پیامد عملی «از تگ XML استفاده کنید» نیست. این است که formatting یک hyperparameter است، sweep کردنش هزینه‌ای ندارد، و هر مقایسه دو مدل که یک format را ثابت می‌گیرد، formatها را به همان اندازه مدل‌ها مقایسه می‌کند.

In-context learning — نشان دادن مثال‌های حل‌شده به مدل در prompt و واداشتن آن به تعمیم از آن‌ها بدون هیچ weight update — همان قابلیتی است که GPT-3 را مشهور کرد.6 پرسش عملی هرگز این نیست که آیا کار می‌کند یا نه. این است که برای چند مثال باید پول بدهید.

مثال‌ها به‌صورت نوبت‌های prior واقعی می‌آیند، یکی user و یکی assistant، چون template روی همین ساختار آموزش دیده بود. هر k با پنج draw تصادفی متفاوت از یک pool جداگانه شامل شانزده ticket برچسب‌دار اجرا شد:

مثال‌هامیانگین دقتبدترین و بهترین drawspread بین drawها
076.7 %
178.7 %78.3 – 80.0 %1.7 امتیاز
283.7 %80.0 – 86.7 %6.7 امتیاز
481.7 %78.3 – 86.7 %8.3 امتیاز
883.7 %78.3 – 88.3 %10.0 امتیاز
1689.3 %85.0 – 93.3 %8.3 امتیاز

دو مثال هفت امتیاز خرید. شش مثال بعدی هیچ چیز قابل‌اندازه‌گیری نخرید — 83.7، بعد 81.7، بعد 83.7، دنباله‌ای که در noise خودش پرسه می‌زند. شانزده مثال پنج‌ونیم امتیاز دیگر خرید. منحنی صعود نرم نیست؛ یک پله، یک فلات و یک پله است.

مهم‌ترین ستون، ستون آخر است. در k = 8، اینکه تصادفاً کدام هشت مثال را انتخاب کرده‌اید دقت را 10 امتیاز جابه‌جا کرد — بزرگ‌تر از کل سود رفتن از دو مثال به هشت. و ردیف پایین تیزترین نسخه آن است: در k = 16 pool تمام می‌شود، پس هر پنج اجرا دقیقاً همان شانزده مثال را دارند و فقط در ترتیب ظاهرشدن فرق می‌کنند. فقط ترتیب، دقت را 8.3 امتیاز جابه‌جا کرد.

این همان نتیجه‌ای است که Lu و همکاران گزارش کردند و هرجا دنبالش گشته‌اند دوام آورده است: ترتیب مثال‌ها یک hyperparameter واقعی با اثرهایی هم‌اندازه تعداد مثال‌هاست.7 پس توصیه صادقانه درباره few-shot prompting یک عدد نیست. این است:

از صفر شروع کنید و فقط در برابر اندازه‌گیری مثال اضافه کنید

لینک به بخش: از صفر شروع کنید و فقط در برابر اندازه‌گیری مثال اضافه کنید

دو مورد اول معمولاً ارزشش را دارند. بعد از آن حدس می‌زنید، و این حدس در هر فراخوانی، تا پایان عمر محصول، token خرج می‌کند.

انتخاب را بخشی از prompt بدانید

لینک به بخش: انتخاب را بخشی از prompt بدانید

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

ترتیب را یک بار sweep کنید، و بعد منجمدش کنید

لینک به بخش: ترتیب را یک بار sweep کنید، و بعد منجمدش کنید

رایگان است، اثر واقعی دارد، و برخلاف بیشتر این فصل برای امتحان کردنش به بازنویسی نیاز ندارد.

توازن کلاس‌ها را بررسی کنید

لینک به بخش: توازن کلاس‌ها را بررسی کنید

چهار مثال که همه یک label دارند به مدل label را یاد می‌دهند، نه task را. فروپاشی این مدل روی هر صفی که آخر فهرست شده بود همان شکست با لباسی دیگر است.

حالا نوبت folklore. هرکدام از این‌ها یک جمله واحد است که به ابتدای system promptی که در باقی موارد یکسان است اضافه شده، روی همان شصت مورد.

جمله اضافه‌شده به system promptدرستدقت، 95 % Wilsonpaired در برابر baseline
چیزی اضافه نشده46/6076.7 % [64.6, 85.6]
«یک نفس عمیق بکش و با دقت روی این مسئله کار کن.»47/6078.3 % [66.4, 86.9]+4 / −3, p = 1.000
«این برای مسیر شغلی من خیلی مهم است.»46/6076.7 % [64.6, 85.6]+5 / −5, p = 1.000
«تو یک متخصص جهانی عملیات پشتیبانی مشتری با بیست سال تجربه هستی.»42/6070.0 % [57.5, 80.1]+3 / −7, p = 0.344
«اگر درست پاسخ بدهی، به تو $200 انعام می‌دهم.»41/6068.3 % [55.8, 78.7]+1 / −6, p = 0.125
«برای هر ticket که به صف اشتباه بفرستی جریمه خواهی شد.»25/6041.7 % [30.1, 54.3]+3 / −24, p < 0.001

چهار مورد از پنج مورد هیچ کاری نکردند. نه «کمی اثر داشتند»؛ هیچ چیزی که شصت مورد paired بتواند ببیند. persona متخصص و رشوه هر دو کمتر از baseline دست‌نخورده امتیاز گرفتند، و حتی همان افت‌ها هم از تست paired عبور نمی‌کنند — noise هستند که رو به پایین اشاره می‌کند.

ردیف سوم همان است که باید با آن مکث کرد. «این برای مسیر شغلی من خیلی مهم است» دقیقاً همان دقت را تولید کرد، 46 از 60 — و ده پاسخ از شصت پاسخ تغییر کرد، پنج مورد در هر جهت. آمار خلاصه یکسان بود و رفتار نه. اگر ارزیابی شما یک عدد واحد روی مجموعه‌ای کوچک باشد، تغییری که یک‌ششم خروجی‌هایتان را بازنویسی می‌کند می‌تواند شبیه تغییری به نظر برسد که هیچ کاری نکرده، و شما آن را با این باور ship می‌کنید که رایگان بوده است.

و بعد تهدید، که تنها جمله‌ای است که needle را تکان داد و آن را 35 امتیاز رو به پایین برد، و 24 مورد را از درست به غلط برگرداند. این artifact گرد کردن نیست؛ رفتار مدل دیگری است. درس این نیست که «هرگز مدل را تهدید نکنید». این است که framing احساسی inert نیست. توزیع را جابه‌جا می‌کند، گاهی شدید، در جهتی که هیچ‌کس از خواندن جمله نمی‌تواند پیش‌بینی کند — و دقیقاً به همین دلیل باید سنجیده شود، نه اینکه درباره‌اش استدلال شود.

یک caveat که این فصل به شما بدهکار است: این پنج جمله روی یک مدل کوچک و یک task تست شدند. بعضی از آن‌ها پشتوانه منتشرشده در جاهای دیگر دارند — «یک نفس عمیق بکش» از مقاله‌ای آمد که برای instructionهای امتیازبالا جست‌وجو کرده بود نه اینکه آن‌ها را اختراع کند، و این ادعایی متفاوت و بهتر از چیزی است که بعداً پخش شد.8 آنچه generalise می‌شود جمله‌ها نیستند. این است که فهرستی که در پست‌های وبلاگی دوام آورد و فهرستی که از اندازه‌گیری جان سالم به در می‌برد دو فهرست متفاوت‌اند، و تنها راه دانستن اینکه کدام یکی را در دست دارید اجرای bench است.

قاعده‌ای که همه تکرار می‌کنند — بگویید چه می‌خواهید، نه اینکه چه نمی‌خواهید — با همان نبود همیشگی عدد. این عددش است. همان requirement قالب، به سه شکل نوشته شده، با مدل که آزادانه generate می‌کند تا compliance مشاهده شود:

قانون قالب چگونه نوشته شده استخروجی دقیقاً یک واژه مجاز بودمیانگین output tokenها
«با یک واژه پاسخ بده.»10/60 (16.7 %)2.6
«خودت را توضیح نده. جمله ننویس. punctuation اضافه نکن.»1/60 (1.7 %)14.0
هر دو با هم41/60 (68.3 %)2.3

سه نهی از یک instruction بدتر عمل کرد، و مدل را واداشت پنج برابر بیشتر متن بنویسد — دقیقاً خلاف هر سه آن‌ها به‌طور هم‌زمان. اضافه کردن دوباره جمله مثبت آن را تا 68 % نجات داد.

وقتی فصل 8 را به یاد بیاورید، سازوکار مرموز نیست. مدل token بعدی را از توزیعی انتخاب می‌کند که به هرچه پیش از آن آمده conditioned است، و یک prohibition چیز ممنوعه را داخل همان conditioning می‌گذارد. هیچ operatorای برای negation وجود ندارد؛ contextای هست که حالا یک واژه در آن ظاهر شده است.

این را می‌شود مستقیم اندازه گرفت. prompt baseline را بگیرید و یک خط اضافه کنید: Do not use the shipping queue for software problems. سپس فقط به چهل‌وپنج ticketی نگاه کنید که ticketهای shipping نیستند:

shipping انتخاب شدمیانگین احتمال روی shippingدقت کلی
baseline11.1 % از 45 مورد0.13176.7 % [64.6, 85.6]
پس از منع کردن آن با نام37.8 %0.37451.7 % [39.3, 63.8]

نام بردن از یک صف برای کنار گذاشتنش باعث شد مدل آن را سه برابر بیشتر انتخاب کند، تقریباً probability massی را که به آن اختصاص می‌داد سه برابر کرد، و 25 امتیاز از دقت کلی کم کرد — 16 مورد از دست رفت در برابر 1 مورد به دست آمده، احتمال paired برابر 0.0003.

به فیل فکر نکن، اندازه‌گیری‌شده. بازنویسی همیشه یکسان است: prohibition را با rule مثبت جایگزین کنید که آن را غیرضروری می‌کند. نه «برای مشکلات نرم‌افزاری از shipping استفاده نکن» بلکه «از shipping فقط وقتی استفاده کن که یک بسته فیزیکی در میان است».

ضدنمونه صادقانه: chain of thought که هزینه دارد و سود نمی‌دهد

لینک به بخش: ضدنمونه صادقانه: chain of thought که هزینه دارد و سود نمی‌دهد

فصل 12 chain of thought را درست ساخت — اول به‌عنوان یک تکنیک prompting،910 بعد به‌عنوان چیزی که با rewardهای قابل‌راستی‌آزمایی در مدل training شد — و با هشداری تمام شد که به این فصل موکول کرده بود: گفتن اینکه مدل قدم‌به‌قدم فکر کند وقتی مدل خودش reasoning می‌کند دیگر کمک نمی‌کند، و می‌تواند آسیب بزند. این همان هشدار است با جدولی زیر آن، روی taskی که در آن آسان است فرض کنیم فکر بیشتر حتماً بهتر است.

هر دو arm با همان ابزار در همان جایگاه خوانده می‌شوند. تنها تفاوت این است که آیا chain of thoughtی که خود مدل نوشته اول در context نشسته یا نه.

armدرستدقت، 95 % Wilsonoutput token اضافه به ازای هر مورد
بدون chain of thought37/6061.7 % [49.0, 72.9]0
chain of thought، تا 60 token34/6056.7 % [44.1, 68.4]53.1
chain of thought، تا 200 token34/6056.7 % [44.1, 68.4]97.7

دقت پایین آمد و هزینه بالا رفت، و قانون خود این فصل بر نتیجه خود این فصل هم اعمال می‌شود: افت 7 مورد به دست آمده در برابر 10 مورد از دست رفته، احتمال paired برابر 0.629 است، که ثابت‌شده نیست. آنچه ثابت‌شده این است که نودوهشت output token اضافه برای هر فراخوانی تولید کرد و هیچ چیز قابل‌اندازه‌گیری با آن نخرید. عدم‌قطعیت تماماً سمت سود است. صورت‌حساب قطعی است.

chainای که شکست می‌خورد آموزنده‌تر از chainای است که کار می‌کند. وقتی از مدل خواسته شد درباره «integration شما با Slack بعد از سه‌شنبه دیگر پیام ارسال نمی‌کند» reason کند، نوشت:

TEXT
1. Check if the issue persists on Monday.
2. Verify if there are any updates or changes in your Slack setup that
   might affect message posting.
3. If no update has been made since Tuesday, check for any recent system
   restarts or downtime affecting Slack functionality.
4. If you have recently installed new software or updated your
   environment, ensure it's compatible with Slack version.
5. Contact Slack support for further assistance or troubleshooting steps.

این توصیه عیب‌یابی شایسته‌ای است و task نیست. وقتی از مدل خواسته شد فکر کند، مدل به ژانری drift کرد که «درباره این ticket پشتیبانی قدم‌به‌قدم فکر کن» بیشترین شباهت را در داده‌های training آن داشت — و بعد به یک پرسش classification با پانصد کاراکتر reasoning نامرتبط در context خودش پاسخ داد. Chain of thought روی مسئله‌هایی کمک می‌کند که intermediate state ارزش محاسبه کردن دارد: arithmetic، lookupهای multi-hop، constraint satisfaction. route کردن یک جمله به یکی از چهار bucket intermediate state ندارد. چیزی نیست که chain نگه دارد، پس فقط متن plausible اضافه می‌کند که تصمیم نهایی بعداً باید از آن جان سالم به در ببرد.

دو corollary عملی. اول، برای مدلی که برای reasoning آموزش دیده — مدل‌های RLVR فصل 12 — این instruction بدتر از redundant است: می‌تواند chain بلندتری را که مدل خودش تولید می‌کرد با یک chain کوتاه و prompt-shaped جایگزین کند. و sample گرفتن از چند chain و رأی‌گیری، همان کاری که self-consistency می‌کند،11 نمی‌تواند taskی را نجات دهد که چیزی برای اختلاف ندارد: هزینه را در تعداد sampleها ضرب می‌کند تا tieهایی را بشکند که وجود ندارند. فصل 12 این trade را همان‌جایی که کاربرد دارد اندازه گرفت. دوم، توجه کنید خود scaffold مقایسه چه هزینه‌ای داشت. مجبور کردن پاسخ به یک خط Final queue: arm بدون reasoning را از 76.7 % به 61.7 % پایین آورد. پانزده امتیاز، پرداخت‌شده برای اینکه دو arm قابل‌مقایسه شوند. ساختاری که برای راحتی شما وجود دارد هم رایگان نیست.

یک اندازه‌گیری آخر، چون این همان پرسشی است که همه پس از اولین نتیجه غافلگیرکننده می‌پرسند. شصت prompt، greedy decoding، اجرای مکرر:

  • همان فراخوانی تکرارشده با ثابت نگه داشتن همه چیز، probabilityهای bit-identical برگرداند. deterministic.
  • همان فراخوانی batched با همسایه‌های متفاوت — اندازه batchهای 1، 4، 12، 30 و 60 — probabilityهایی برگرداند که تا 0.0128 فرق داشتند. label انتخاب‌شده هرگز تغییر نکرد، در 0 از 60 مورد.

label دوام آورد چون جا داشت: در میان شصت مورد، باریک‌ترین فاصله بین دو صف برتر 0.0459 بود، سه‌ونیم برابر drift. پایداری ویژگی algorithm نبود. یک margin بود، و marginها تمام می‌شوند. فصل 17 جایی است که دلیل حسابی آن قرار دارد و جایی که knobهای sampling که این فاصله‌ها را پهن و باریک می‌کنند باز می‌شوند. دلیل کاشتنش اینجا این است که کران می‌گذارد روی اینکه هر اندازه‌گیری prompt چه معنایی می‌تواند داشته باشد: bench سیستمی را اندازه می‌گیرد که فقط تا یک tolerance بازتولیدپذیر است، و اختلاف دو امتیازی بین نسخه‌ها در یک روز بد داخل همان tolerance است.

نظر دادن را متوقف کنید و جست‌وجو را شروع کنید

لینک به بخش: نظر دادن را متوقف کنید و جست‌وجو را شروع کنید

همه آنچه بالا آمد انسانی بود که یک نسخه انتخاب می‌کرد و ماشینی که نمره‌اش می‌داد. قدم بدیهی بعدی این است که بگذاریم ماشین نسخه‌ها را هم انتخاب کند.

APE دقیقاً همین کار را می‌کند: یک مدل instructionهای candidate پیشنهاد می‌دهد، روی مثال‌های held-out امتیاز می‌گیرند، و بهترین‌ها باقی می‌مانند.8 instructionهایی که پیدا می‌کند اغلب چیزهایی‌اند که هیچ انسانی نمی‌نوشت، و نکته همین است — جست‌وجو روی چیزی است که امتیاز می‌گیرد، نه روی چیزی که حرفه‌ای به نظر می‌رسد.

DSPy جلوتر می‌رود و برای محصول ایده مفیدتری است.12 شما اعلام می‌کنید هر مرحله از یک pipeline چه چیزی می‌گیرد و چه چیزی برمی‌گرداند، و framework آن را به promptها compile می‌کند، demonstrationها را انتخاب می‌کند و instructionها را بر اساس metric شما optimise می‌کند. مدل را عوض کنید و به‌جای بازنویسی recompile می‌کنید. prompt دیگر source codeی نیست که کسی دستی tuning کند؛ به artefactی تبدیل می‌شود که در برابر یک metric تولید شده، همان چیزی که از اول باید می‌بود.

هیچ‌کدام نیاز به bench را حذف نمی‌کند. هر دو آن را به تنها چیزی تبدیل می‌کنند که نیاز دارید، چون optimiser بدون metric هیچ چیز را optimise نمی‌کند.

آنچه باقی می‌ماند discipline است. promptها باید در version control باشند، در فایل‌ها، کنار کدی که آن‌ها را می‌فرستد — نه در ردیفی از database که کسی یک سه‌شنبه ویرایش کرده است. باید یک شناسه نسخه داشته باشند که کنار هر خروجی‌ای که تولید کرده‌اند ذخیره شود، وگرنه روزی که چیزی regress می‌کند نمی‌توانید بفهمید چه چیزی تغییر کرده. به bench در continuous integration نیاز دارند، چون prompt همان بخشی از سیستم شماست که vendor می‌تواند با deploy کردن یک مدل جدید بی‌صدا invalidate کند. و به case نیاز دارند: نه صد مورد هوشمندانه، فقط همان بیست مورد کسل‌کننده‌ای که فصل قبل شکستند، و برای همیشه نگه داشته شوند. bench همان deliverable است. prompt محصول جانبی آن است.

این مسیر بعد به کجا می‌رود

لینک به بخش: این مسیر بعد به کجا می‌رود

همه چیز در این فصل با دقت اندازه‌گیری شد. هرکدام از آن نسخه‌ها یک قیمت هم دارد.

system promptای که 21.7 امتیاز خرید در هر فراخوانی، برای همیشه، فرستاده می‌شود. دو مثالی که هفت امتیاز خریدند در هر فراخوانی، برای همیشه، فرستاده می‌شوند. شانزده مثالی که دوازده امتیاز خریدند در هر فراخوانی، برای همیشه، فرستاده می‌شوند، و تقریباً ده برابر طول پرسشی هستند که کاربر واقعاً پرسیده است. chain of thoughtی که هیچ چیز نخرید برای هر request نودوهشت token اضافه تولید کرد، و output tokenها نوع گران‌اند.

هیچ‌کدام از این‌ها در جدول دقت‌ها دیده نمی‌شود، و همه آن‌ها روی فاکتور دیده می‌شود.

فصل 16 درباره واحدی است که این تصمیم‌ها واقعاً با آن denominated می‌شوند. token به‌عنوان واحد billing، context window به‌عنوان بودجه نه حافظه، اینکه چرا یک مکالمه چهل‌نوبتی خیلی بیشتر از چهل برابر نوبت اول هزینه دارد، prompt caching چه چیزی را پرداخت می‌کند و چه چیزی را نه، و چرا ترتیب prompt شما تصمیم می‌گیرد cache اصلاً hit می‌شود یا نه — که معلوم می‌شود دلیل دوم و کاملاً اقتصادی برای گذاشتن material پایدار در ابتدا و material متغیر در انتهاست.


bench و هر جدول با Qwen/Qwen2.5-0.5B-Instruct زیر greedy decoding تولید شدند، پس دقیقاً بازتولید می‌شوند. مستندات Hugging Face درباره chat templateها مرجع این است که markerهای template فصل 11 واقعاً به چه چیزی expand می‌شوند، و اینکه مدلی که template اشتباه ship می‌کند یک failure واقعی و تکرارشونده است. برای effectهای position و format در مقیاس production نه مقیاس آزمایشگاه، citationهای بالا منابع اصلی‌اند؛ راهنماهای prompting vendorها برای مثال‌هایشان مفیدند و باید با این آگاهی خوانده شوند که هیچ‌کدام interval منتشر نمی‌کنند.

  1. Anthropic, Effective context engineering for AI agents (29 September 2025)، برای تمایز prompt در برابر context که در این فصل استفاده شده و در فصل 24 توسعه یافته است.

  2. Zhao, Z., Wallace, E., Feng, S., Klein, D. and Singh, S. Calibrate Before Use: Improving Few-Shot Performance of Language Models. arXiv:2102.09690 (2021). bias برچسب اکثریت، recency و common-token، و اینکه چرا rotation در bench این فصل اختیاری نیست.

  3. McNemar, Q. Note on the sampling error of the difference between correlated proportions or percentages. Psychometrika 12(2), pp. 153–157 (1947). مقایسه‌های paired در این فصل به‌جای تقریب chi-squared از شکل exact binomial استفاده می‌کنند، چون countهای discordant کوچک‌اند.

  4. Liu, N. F. et al. Lost in the Middle: How Language Models Use Long Contexts. arXiv:2307.03172 (2023). اینجا برای effect جایگاه cite شده؛ در فصل 24 در طول زیاد اندازه‌گیری شده است.

  5. Sclar, M., Choi, Y., Tsvetkov, Y. and Suhr, A. Quantifying Language Models' Sensitivity to Spurious Features in Prompt Design. arXiv:2310.11324 (2023). separatorها و spacing به‌تنهایی دقت را آن‌قدر جابه‌جا می‌کنند که leaderboardهای مدل‌ها reorder شوند.

  6. Brown, T. B. et al. Language Models are Few-Shot Learners. arXiv:2005.14165 (2020). مقاله‌ای که in-context learning را به‌عنوان یک capability، نه یک کنجکاوی، معرفی کرد؛ بخش 3 منبع واژگان zero-shot / one-shot / few-shot است که همه امروز استفاده می‌کنند.

  7. Lu, Y., Bartolo, M., Moore, A., Riedel, S. and Stenetorp, P. Fantastically Ordered Prompts and Where to Find Them: Overcoming Few-Shot Prompt Order Sensitivity. arXiv:2104.08786 (2021). نتیجه‌ای که در جدول few-shot بالا بازتولید شد.

  8. Zhou, Y. et al. Large Language Models Are Human-Level Prompt Engineers. arXiv:2211.01910 (2022). prompt engineering خودکار با proposal و scoring. instruction بسیار نقل‌شده «take a deep breath» از Yang, C. et al., Large Language Models as Optimizers, arXiv:2309.03409 (2023) می‌آید، که آن را با search روی یک task و یک مدل پیدا کرد — ادعایی که سفرش به پست‌های وبلاگی را سالم پشت سر نگذاشت. 2

  9. Wei, J. et al. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. arXiv:2201.11903 (2022).

  10. Kojima, T., Gu, S. S., Reid, M., Matsuo, Y. and Iwasawa, Y. Large Language Models are Zero-Shot Reasoners. arXiv:2205.11916 (2022). نتیجه «let's think step by step»، و ارزش خواندن دارد تا ببینید شرایط چقدر محدود بودند.

  11. Wang, X. et al. Self-Consistency Improves Chain of Thought Reasoning in Language Models. arXiv:2203.11171 (2022). با هزینه متصل به آن در فصل 12 اندازه‌گیری شد.

  12. Khattab, O. et al. DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines. arXiv:2310.03714 (2023).


تهیه‌شده توسط

David Vicente Campos

بنیان‌گذار NeuraLIA Labs و هم‌بنیان‌گذار MyRealFood

من مهندس کامپیوتر و فارغ‌التحصیل دانشگاه لئون هستم. هم‌بنیان‌گذار MyRealFood بودم، جایی که به‌عنوان مدیر ارشد فناوری اپلیکیشنی را ساختم که میلیون‌ها نفر برای سالم‌تر غذا خوردن از آن استفاده کرده‌اند، و NeuraLIA Labs را بنیان‌گذاری کردم؛ جایی که محصولات هوش مصنوعی می‌سازم. اینجا از چیزهایی می‌نویسم که در طول مسیر باید می‌فهمیدم، همان‌طور که دوست داشتم کسی برایم توضیح می‌داد.

بیشتر درباره نویسنده

منتشرشده توسط NeuraLIA Labs.

پست‌های جدید را در ایمیل خود دریافت کنید

اخبار AI، راهنماها و به‌روزرسانی‌های محصول — هر وقت چیزی ارزشمند منتشر کنیم، یک ایمیل کوتاه می‌فرستیم.

فهرست دوره

Abstract software decision engine with branching paths, probability nodes, and glowing gates.
jev12 دقیقه مطالعه

مدل هوش مصنوعی Jev برای تصمیم ساخته شده، نه نثر

Jev از TypeSafe AI توجه‌ها را جلب کرده چون هوشمندی نرم‌افزار را مسئله‌ای احتمالاتی می‌بیند: شاخه درست را انتخاب کنید، میزان اطمینان را کنار آن بگذارید، و وقتی کد به یک تصمیم نیاز دارد برای نوشتن متن به یک LLM پول ندهید.

Abstract agent runtime sorting documents, memory blocks and pointer nodes inside a bounded context frame.
context-engineering13 دقیقه مطالعه

مهندسی کانتکست برای عامل‌های AI بلندافق

عامل‌های طولانی‌اجرا فقط به‌خاطر کوچک بودن پنجره شکست نمی‌خورند. وقتی فایل‌ها، خروجی ابزارها و تاریخچهٔ کهنه وظیفه‌ای را که عامل قرار بود تمام کند کنار می‌زنند، شکست رخ می‌دهد.

آماده‌اید انتخاب مدل را به LIA بسپارید؟

با همه مدل‌های هوش مصنوعی در یک جا بسازید — همین امروز رایگان شروع کنید.