В данной статье разрабатывается теория для режимов спекулятивного декодирования, использующих жадное декодирование, ослабленные правила принятия или деревья кандидатов, а не стохастические среды сохранения распределения, изученные в существующей литературе. Авторы характеризуют области отклонения как нижние уровни целевого распределения для вывода точных требований к расхождению Кульбака-Лейблера и строгих границ на основе маржи для различных критериев принятия.

  • Характеризует точные сертификаты и границы на основе маржи для строгого жадного декодирования, аддитивного и мультипликативного ослабленного принятия, критериев top-(m) с ослаблением и принятия с порогом энтропии.
  • Расширяет эту структуру на жадное декодирование по дереву, выводя точные и только маржинальные сертификаты для случаев, когда целевой жадный токен остается покрытым топ-(m) кандидатами драфтера.
  • Оценивает эти сертификаты на моделях Qwen3, показывая, что ослабленные и основанные на деревьях критерии существенно расширяют область сертифицированного принятия, особенно на шагах с низкой маржой распределения целевой модели.

Эти результаты дополняют существующие анализы сохранения распределения, характеризując детерминированные локальные события принятия, общие для практических систем вывода.