El Laboratorio de Robótica SIGS de Tsinghua ha lanzado VeriLoop E2, un modelo post-entrenado de 27B basado en Qwen3.8-27B para código verificable, matemáticas y razonamiento científico. El lanzamiento introduce la Recurrencia Gobernada por VeriLoop (VGR), que separa la generación de la verificación externa para garantizar que las transiciones de estado mejoren estrictamente las dimensiones de evidencia.
- Post-entrenado en 1,841,831 registros que abarcan ingeniería de software, matemáticas y ciencias.
- Obtiene puntuaciones como 76.2% en SWE-bench Pro, 98.3% en AIME 2026 y 93.94% en GPQA Diamond.
- Libera una escalera completa de precisión GGUF desde BF16 hasta IQ1_M, con todas las capas derivadas directamente del punto de control canonical BF16.
- La variante IQ1_M alcanza 16.79 GiB con solo +0.3191% de deriva PPL y soporta descodificación especulativa MTP.
- Incluye un certificado reproducible para la proporción de ceros en la línea crítica de la función ζ de Riemann.
El lanzamiento proporciona pesos abiertos, evidencia de evaluación e informes técnicos para permitir la verificación independiente de la retención de cuantización y el rendimiento posterior.