Lab Robot SIGS Tsinghua telah merilis VeriLoop E2, sebuah model pasca-pelatihan 27B yang dibangun di atas Qwen3.8-27B untuk kode yang dapat diverifikasi, matematika, dan penalaran ilmiah. Rilis ini memperkenalkan VeriLoop-Governed Recurrence (VGR), yang memisahkan generasi dari verifikasi eksternal untuk memastikan transisi keadaan secara ketat meningkatkan dimensi bukti.
- Dilatih ulang pada 1.841.831 catatan yang mencakup teknik perangkat lunak, matematika, dan sains.
- Mencapai skor termasuk 76,2% di SWE-bench Pro, 98,3% di AIME 2026, dan 93,94% di GPQA Diamond.
- Melepaskan tangga presisi GGUF lengkap dari BF16 hingga IQ1_M, dengan semua tingkatan diturunkan langsung dari titik pemeriksaan BF16 kanonik.
- Varian IQ1_M mencapai 16,79 GiB dengan hanya pergeseran PPL +0,3191% dan mendukung dekoding spekulatif MTP.
- Termasuk sertifikat yang dapat direproduksi untuk proporsi nol garis kritis fungsi ζ Riemann.
Rilis ini menyediakan bobot terbuka, bukti evaluasi, dan laporan teknis untuk memungkinkan verifikasi independen atas retensi kuantisasi dan kinerja turunan.