Tsinghua SIGS Robot Lab ने VeriLoop E2 जारी किया है, जो सत्यापनीय कोड, गणित और वैज्ञानिक तर्क के लिए Qwen3.8-27B पर बनाया गया एक 27B पोस्ट-ट्रेन्ड मॉडल है। इस रिलीज में VeriLoop-Governed Recurrence (VGR) पेश किया गया है, जो अवस्था संक्रमण को सत्यापन आयामों को कड़ाई से सुधारने की गारंटी देने के लिए उत्पादन को बाहरी सत्यापन से अलग करता है।
- सॉफ्टवेयर इंजीनियरिंग, गणित और विज्ञान में फैले 1,841,831 रिकॉर्ड्स पर पोस्ट-ट्रेन्ड किया गया।
- SWE-bench Pro पर 76.2%, AIME 2026 पर 98.3% और GPQA Diamond पर 93.94% सहित स्कोर हासिल किए।
- BF16 से IQ1_M तक एक पूर्ण GGUF सटीकता सीढ़ी जारी की गई है, जिसमें सभी तहें प्रामाणिक BF16 चेकपॉइंट से सीधे व्युत्पन्न हैं।
- IQ1_M वेरिएंट केवल +0.3191% PPL विचलन के साथ 16.79 GiB तक पहुंचता है और MTP अनुमानित डिकोडिंग का समर्थन करता है।
- Riemann ζ फ़ंक्शन की क्रांतिक रेखा शून्य अनुपात के लिए एक पुनरुत्पादक प्रमाणपत्र शामिल है।
रिलीज में क्वांटाइज़ेशन रेटेंशन और डाउनस्ट्रीम प्रदर्शन का स्वतंत्र सत्यापन करने के लिए ओपन वेट्स, मूल्यांकन सबूत और तकनीकी रिपोर्ट प्रदान करती है।