تعلم التعزيز
26 published articles
نماذج اللغات الكبيرةFeatured1 min read
وكلاء البرمجة
وكيل البرمجة الجديد من Cognition يحقق نتائج قريبة من النماذج المتطورة بتكلفة زهيدة
نموذج البرمجة SWE-1.7 من Cognition يضيق الفجوة مع الأنظمة المتطورة بجزء بسيط من التكلفة، مسجلاً 42.3% على FrontierCode ويعمل بسرعة 1,000 رمز/ثانية. تم تدريب النموذج على خط أنابيب تعلم معزز محسّن باستخدام Kimi K2.7 كقاعدة.
2026-07-09
الذكاء الاصطناعي6 min read
أبحاث الذكاء الاصطناعي
كيف يحول إطار MaxProof المُدققات التوليدية إلى محرك ثوري للإثباتات
MaxProof هو إطار لتوسيع نطاق وقت الاختبار يصوغ توليد الإثباتات الرياضية كعملية بحث تطوري. من خلال الجمع بين تعلم التعزيز للإثباتات (Proof RL)، ومحاذاة المُدققات، وتحسين التصحيح، يحول التحقق التوليدي غير الموثوق إلى نظام مكافأة موثوق للتدريب والاستدلال.
2026-07-05