تستضيف منصة Hugging Face الآن نموذج AutoVerifier من InternLM، المبني على بنية Qwen3_5Moe. يقرأ النموذج المسألة، وحلًا مرجعيًا اختياريًا، وبرهانًا مقترحًا خطوة بخطوة، ثم يحدد ما إذا كان البرهان صحيحًا، ويبيّن أي أخطاء فيه، ويذكر رقم أول خطوة خاطئة. يأتي النموذج موزعًا على 40 ملف safetensor، بإجمالي نحو 68 GiB، ويستخدم InternS1Tokenizer. وهو مصمم ليكون أداة تقييم آلية لمجموعة ProverBench ضمن AdvancedMathBench، لكن الجهة المطوّرة تنبه إلى أنه قد يخطئ أحيانًا.
يمكن تشغيل النموذج من دون تحميل الأوزان، وذلك بإنشاء مطالبة باستخدام القالب المرفق proof_verifier.md، ثم تمريرها إلى صيغة المحادثة الخاصة بأداة الترميز.
لماذا يهم
يوفر للباحثين طريقة سريعة وآلية لتقييم البراهين الرياضية المعقدة من دون الحاجة إلى تصحيحها يدويًا.
