Analyses de modèlesFrance
OuvrirVérification sélective au niveau des états avec heuristiques apprises pour raisonnement LLM sous contrainte de coût de vérification
Résumé professionnel pour développeurs et fondateurs : pipeline de vérification sélective au niveau des états (filtrage de faisabilité, classement appris pré-vérification, allocation adaptative) — revendique + précision et −44% d'appels au vérificateur sur MATH (source : arXiv:2602.03975).