FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
تقدم هذه الورقة البحثية FormalRewardBench، وهو أول معيار لتقييم نماذج المكافأة في إثبات النظريات الصورية باستخدام 250 زوجًا من التفضيلات التي أعدها خبراء، كاشفةً أن النماذج اللغوية الكبيرة الرائدة تتفوق على أدوات إثبات النظريات المتخصصة في تقييم جودة الإثبات، ومسلطةً الضوء على أوجه القصور في النماذج الحالية في التمييز بين البراهين الصحيحة ومختلف الأخطاء المُحقونة.