Le Tsinghua SIGS Robot Lab a publié VeriLoop E2, un modèle post-entraîné de 27B basé sur Qwen3.8-27B pour le code vérifiable, les mathématiques et le raisonnement scientifique. La publication introduit la Récurrence Gouvernée par VeriLoop (VGR), qui sépare la génération de la vérification externe afin d'assurer que les transitions d'état améliorent strictement les dimensions des preuves.
- Post-entraîné sur 1 841 831 enregistrements couvrant l'ingénierie logicielle, les mathématiques et les sciences.
- Atteint des scores incluant 76,2 % sur SWE-bench Pro, 98,3 % sur AIME 2026 et 93,94 % sur GPQA Diamond.
- Publie une échelle complète de précision GGUF allant de BF16 jusqu'à IQ1_M, avec tous les niveaux dérivés directement du point de contrôle canonique BF16.
- La variante IQ1_M atteint 16,79 GiB avec seulement +0,3191 % de dérive PPL et prend en charge le décodage spéculatif MTP.
- Inclut un certificat reproductible pour la proportion de zéros sur la ligne critique de la fonction ζ de Riemann.
La publication fournit des poids ouverts, des preuves d'évaluation et des rapports techniques pour permettre une vérification indépendante de la rétention de la quantification et des performances en aval.