VHG : génération de problèmes mathématiques difficiles assistée par vérificateur

VHG (Verifier-backed Hard problem Generation) introduit un paradigme self-play tripartite où un vérificateur indépendant s'ajoute à la dualité setter-solver classique. La récompense du générateur dépend conjointement de la validité du problème (vérificateur) et de sa difficulté (solver). Deux variantes de vérificateur sont proposées : symbolique et LLM. Les évaluations sur des intégrales indéfinies et le raisonnement mathématique général montrent des gains significatifs sur tous les baselines.