قام شهاب أنور بفتح مصدر Agent-ProSAT، وهو خط أنابيب يولد مجموعات بيانات سلسلة التفكير (CoT) من خلال جعل وكيل يكتب الكود ويحسن بشكل تكراري محللات برمجية قابلة للتحقق بدلاً من الاعتماد على النص المُولد بواسطة النموذج.
- يستخدم النظام حلقات تصحيح ذاتي للتحقق من الصحة المنطقية مقابل الحقيقة الأرضية والعينات المحجوزة.
- تم تقييمه في تحدي الاستدلال Nemotron الخاص بـ NVIDIA باستخدام ألغاز منطقية من "أليس في بلاد العجائب" لاختبار القيود المكانية والمنطقية.
- يهدف النهج إلى تقليل مخاطر الهلوسة وتحسين استخدام الرموز (tokens) في خطوط أنابيب SFT/RL من خلال المراجعة البرمجية.
يشارك المؤلف قاعدة الكود، ودفتر ملاحظات Kaggle للضبط الدقيق، ومجموعة بيانات ProSAT CoT الناتجة على Hugging Face.