Лаборатория робототехники SIGS Университета Цинхуа выпустила VeriLoop E2, 27B модель после дообучения, созданную на базе Qwen3.8-27B для проверяемого программирования, математики и научных рассуждений. В релизе представлена VeriLoop-Governed Recurrence (VGR), которая разделяет генерацию и внешнюю проверку, чтобы гарантировать, что переходы состояния строго улучшают измерения доказательств.

  • Дообучена на 1 841 831 записи, охватывающих программную инженерию, математику и науку.
  • Достигает результатов: 76,2% на SWE-bench Pro, 98,3% на AIME 2026 и 93,94% на GPQA Diamond.
  • Предоставляет полную лестницу точности GGUF от BF16 до IQ1_M, все уровни которой получены непосредственно из канонического контрольного чекпоинта BF16.
  • Вариант IQ1_M занимает 16,79 GiB при дрейфе PPL всего +0,3191% и поддерживает MTP speculative decoding.
  • Включает воспроизводимый сертификат для доли нулей на критической прямой функции Римана ζ.

Релиз предоставляет открытые веса, доказательства оценки и технические отчеты, позволяющие независимую проверку сохранения при квантовании и производительности в downstream-задачах.