Résumé Technique : SARA (Sequential Adaptive Rollout Allocation)
Énoncé du Problème
L'apprentissage par renforcement avec récompenses vérifiables (RLVR - Reinforcement Learning with Verifiable Rewards) est actuellement limité par le coût de la génération de déploiements (rollouts). Dans les estimateurs basés sur des groupes comme le GRPO (Group Relative Policy Optimization), la contribution d'un prompt au gradient de la politique dépend de la variance des récompenses au sein de son groupe échantillonné. Si un groupe est « saturé » (toutes les réponses sont correctes ou toutes sont incorrectes), la variance de la récompense est nulle, ce qui produit un avantage normalisé nul et aucun signal d'apprentissage.
Les méthodes existantes pour atténuer ce gaspillage font face à un arbitrage :
- Évaluer-puis-filtrer (ex: Échantillonnage Dynamique/DS) : Ces méthodes suréchantillonnent un large pool de candidats, génèrent des groupes complets pour tous, et rejettent les groupes saturés. Bien que cela garantisse un lot de groupes efficaces, cela engendre un coût de déploiement massif (souvent 4× supérieur à l'échantillonnage uniforme) car l'on paie pour la génération complète de prompts qui seront finalement écartés.
- Prédire-puis-sélectionner : Ces méthodes estiment la difficulté d'un prompt avant l'échantillonnage pour prioriser les prompts prometteurs. Bien qu'elles évitent les déploiements supplémentaires, elles reposent sur des prévisions qui peuvent être fragiles lorsque la politique change rapidement, menant à des lots pollués si les prédictions sont inexactes.
Ces deux approches décident au niveau du prompt avant d'observer la dynamique interne du groupe. Or, l'article observe qu'une l'efficacité d'un groupe est souvent décidée tôt dans la séquence de ses propres déploiements. Dépenser un budget de groupe complet pour un prompt qui a déjà révélé qu'il sera saturé est un gaspillage computationnel.
Méthodologie : SARA
Les auteurs proposent SARA (Sequential Adaptive Rollout Allocation), qui reformule la collecte de déploiements par étape comme un problème d'allocation séquentielle sous contrainte de budget (arrêt optimal). Au lieu de générer un nombre fixe de déploiements (k) pour chaque prompt, SARA sonde les prompts par cycles de lots, en mettant à jour les croyances et en prenant des décisions basées sur les résultats observés.
Mécanismes Fondamentaux
- Modélisation Bayésienne : Pour chaque prompt q, S SARA maintient une distribution postérieure Beta sur son taux de succès latent γq. Initialement, une distribution a priori uniforme est utilisée. Après avoir observé n déploiements avec s succès, la distribution postérieure est mise à jour vers Beta(α0+s,β0+n−s).
- Prédicteur d'Efficacité à Forme Fermée : SARA calcule la probabilité prédictive postérieure (peff) qu'un groupe de taille k soit « efficace » (résultats mixtes) étant donné le préfixe actuel.
- Si le préfixe est déjà mixte (1≤s≤n−1), peff=1.
- Si le préfixe est composé uniquement d'échecs ou uniquement de succès, peff est calculée de manière analytique via la fonction Beta. Pour une distribution a priori uniforme et un préfixe de type « tout échec », cela se simplifie en peff(n,0)=k+1k−n.
- Règle d'Arrêt à Deux Seuils : Basée sur peff, SARA applique une règle de décision séquentielle rappelant le test de rapport de vraisemblance séquentiel (SPRT) de Wald :
- COMMIT (Valider) : Si le groupe est mixte (efficace), il est ajouté immédiatement au lot d'entraînement.
- ABANDON (Abandonner) : Si peff tombe en dessous d'un seuil inférieur τlow, le prompt est jugé probablement saturé. Le budget restant pour ce prompt est libéré.
- CONTINUE (Continuer) : Sinon, le prompt reçoit un déploiement supplémentaire.
- Réallocation du Budget : Le budget libéré des prompts abandonnés est immédiatement réalloué à de nouveaux prompts provenant du pool. Cela garantit qu'un budget total fixe produit plus de groupes efficaces qu'une allocation uniforme.
Propriétés Algorithmiques
- Orthogonalité : SARA opère sur l'étape de collecte des déploiements, ce qui le rend compatible avec toute stratégie de sélection de prompt (par exemple, il peut être combiné avec l'Échantillonnage Dynamique).
- Aucun Déploiement Supplémentaire : Contrairement aux méthodes prédictives qui nécessitent des appels de modèles auxiliaires pour estimer la difficulté, SARA utilise uniquement les déploiements que l'optimiseur générerait de toute façon.
- Synchronisation : L'algorithme fonctionne par lots synchrones par cycle pour maintenir le débit d'inférence, nécessitant généralement seulement 2 à 4 cycles de synchronisation par étape.
Contributions Clés
- Recadrage du Problème : Les auteurs identifient la « décidabilité précoce » de l'efficacité d'un groupe et recadrent la collecte de déploiements comme un problème d'allocation séquentielle, distinct de la sélection de prompt.
- Algorithme SARA : Ils dérivent un prédicteur Beta-Binomial à forme fermée et une règle d'arrêt à deux seuils, créant un allocateur sans prédiction-déploiement qui s'intègre dans les pipelines GRPO existants.
- Garanties Théoriques :
- Fiabilité de l'Abandon : La probabilité d'abandonner à tort un groupe efficace est bornée par le seuil τlow.
- Économies de Déploiement : Le nombre attendu de déploiements dépensés par prompt est strictement inférieur au k fixe utilisé dans l'Échantillonnage Dynamique, les économies augmentant à mesure que la taille du groupe k croît.
- Dominance de Rendement : À budget fixe, SARA garantit un nombre de groupes efficaces supérieur ou égal à l'allocation uniforme.
- Lien avec le Gradient : Maximiser le rendement des groupes efficaces maximise directement une borne inférieure de la norme du carré du gradient GRPO attendu.
- Validation Empirique : Expérimentations approfondies sur des tâches de raisonnement mathématique et de planification utilisant des modèles de 1,5B et 3B.
Résultats Expérimentaux
Évalué sur un seul GPU avec les modèles R1-Distill-Qwen-1.5B et Qwen2.5-3B sur des jeux de données comme MATH, AIME24 et Countdown :
- Efficacité vs Échantillonnage Dynamique (DS) : SARA égale la précision de l'Échantillonnage Dynamique (qui utilise un oracle pour filtrer les groupes saturés) tout en utilisant 22 % de déploiements en moins.
- Composition avec Sélection Prédictive : Combiner SARA avec l'Échantillonnage Dynamique (SARA+DPS) offre la meilleure précision, dépassant légèrement l'oracle de DS, tout en utilisant 67 % de déploiements en moins que DS.
- Économies de Tokens : Comme les traces de type « tout échec » abandonnées ont tendance à être les plus longues, les économies de tokens sont encore plus prononcées que les économies de déploiements.
- Robustesse : Contrairement à la sélection prédictive, qui se dégrade à mesure que la politique évolue, SARA maintient une fraction de lot presque de 100 % efficace tout au long de l'entraînement en s'appuyant sur la vérification intra-échantillon.
- Compatibilité : SARA améliore les performances de divers algorithmes de RL (PPO, GRPO, RLOO, Reinforce++) lorsqu'il remplace la collecte de déploiements uniforme.
Signification et Revendications
L'article affirme que SARA offre une solution « du meilleur des deux mondes » en éliminant le besoin de suréchantillonnage coûteux (comme DS) tout en évitant la fragilité des prédictions pré-échantillonnage. En exploitant les preuves statistiques présentes au sein même du groupe de déploiement, SARA atteint une haute efficacité d'entraînement sans appels de modèles auxiliaires.
Les auteurs positionnent SARA comme un levier d'efficacité fondamental pour le RLVR, particulièrement lorsque les tailles de groupe augmentent pour la réduction de la variance. Ils notent que bien que la méthode suppose des récompenses vérifiables binaires et des déploiements i.i.d. au sein d'un groupe, la logique centrale d'allocation séquentielle est orthogonale à la sélection de prompt et aux méthodes de contrôle de longueur, permettant de futures extensions vers des récompenses continues et des déploiements structurés en arbre. Le travail démontre que des économies de calcul significatives dans le post-entraînement des LLM de raisonnement sont réalisables via des stratégies d'arrêt optimal plutôt que par une simple meilleure curation de prompts.