Hugging Face पर अब InternLM का AutoVerifier मॉडल उपलब्ध है, जिसे Qwen3_5Moe आर्किटेक्चर पर बनाया गया है। यह किसी समस्या, वैकल्पिक संदर्भ-समाधान और चरण-दर-चरण दिए गए संभावित प्रमाण को पढ़ता है। इसके बाद यह बताता है कि प्रमाण सही है या नहीं, उसमें क्या त्रुटियां हैं और सबसे पहली गलती किस चरण में हुई। इस मॉडल को 40 safetensor shards में पैक किया गया है, जिनका कुल आकार लगभग 68 GiB है। इसमें InternS1Tokenizer का इस्तेमाल होता है। इसे AdvancedMathBench के ProverBench सूट के लिए स्वचालित मूल्यांकनकर्ता के तौर पर बनाया गया है, हालांकि इसके प्रदाता का कहना है कि यह अब भी गलतियां कर सकता है।
मॉडल के वज़न लोड किए बिना भी इसे चलाया जा सकता है। इसके लिए दिए गए proof_verifier.md टेम्पलेट से प्रॉम्प्ट तैयार करें और फिर उसे tokenizer के chat format में दें।
यह क्यों मायने रखता है
यह शोधकर्ताओं को जटिल गणितीय प्रमाणों का मूल्यांकन बिना हाथ से जांचे, तेज़ी से और स्वचालित तरीके से करने का साधन देता है।
