Cet article développe une théorie pour les régimes de décodage spéculatif qui utilisent le décodage glouton, des règles d'acceptation assouplies ou des ensembles de candidats arborescents, plutôt que les paramètres stochastiques préservant la distribution étudiés dans la littérature existante. Les auteurs caractérisent les régions de rejet comme des ensembles de niveau inférieur de la distribution cible pour dériver les exigences exactes de divergence KL et des bornes précises basées sur la marge pour divers critères d'acceptation.
- Caractérise les certificats exacts et les bornes basées sur la marge pour le décodage glouton strict, l'acceptation assoulie additive et multiplicative, les critères top-(m) assoulis et l'acceptation par seuil d'entropie.
- Étend le cadre au décodage arborescent glouton, dérivant des certificats exacts et uniquement basés sur la marge pour le moment où le jeton glouton cible reste couvert par les candidats top-(m) du rédacteur.
- Évalue ces certificats sur les modèles Qwen3, montrant que les critères assoulis et arborescents élargissent considérablement la région d'acceptation certifiée, en particulier lors des étapes avec une marge faible de la distribution du modèle cible.
Ces résultats complètent les analyses existantes préservant la distribution en caractérisant les événements locaux d'acceptation déterministe courants dans les systèmes d'inférence pratiques.