O Laboratório de Robótica SIGS da Universidade Tsinghua lançou o VeriLoop E2, um modelo pós-treinado de 27B construído sobre o Qwen3.8-27B para código verificável, matemática e raciocínio científico. O lançamento introduz a Recorrência Governada por VeriLoop (VGR), que separa a geração da verificação externa para garantir que as transições de estado melhorem estritamente as dimensões de evidência.
- Pós-treinado em 1.841.831 registros abrangendo engenharia de software, matemática e ciência.
- Alcança pontuações incluindo 76,2% no SWE-bench Pro, 98,3% no AIME 2026 e 93,94% no GPQA Diamond.
- Lança uma escada completa de precisão GGUF de BF16 até IQ1_M, com todos os níveis derivados diretamente do checkpoint canônico BF16.
- A variante IQ1_M atinge 16,79 GiB com apenas +0,3191% de deriva PPL e suporta decodificação especulativa MTP.
- Inclui um certificado reproduzível para a proporção de linha crítica zero da função ζ de Riemann.
O lançamento fornece pesos abertos, evidências de avaliação e relatórios técnicos para permitir a verificação independente da retenção de quantização e do desempenho downstream.