تحسين تمثيلات الشبكة العصبية الرسومية للصيغ المنطقية باستخدام تجميع الفرعية الرسومية
أظهرت التطورات الحديثة في دمج التعلم العميق مع إثبات النظريات التلقائي تركيزًا رئيسيًا على تمثيل الصيغ المنطقية كمدخلات لأنظمة التعلم العميق. وبشكل خاص، ظهر اهتمام متزايد بتكيف الأساليب العصبية التي تراعي البنية لتعمل مع التمثيلات الرسومية الكامنة وراء التعبيرات المنطقية. وعلى الرغم من فعالية هذه الأساليب مقارنة بالنهج القائمة على المستويات الحرفية أو الرمزية، إلا أنها غالبًا ما اتخذت تنازلات تمثيلية قلّلت من قدرتها على التقاط الخصائص البنائية الأساسية للمدخلات. في هذا العمل، نقترح منهجية جديدة لتمثيل الصيغ المنطقية مصممة لتجاوز القيود التمثيلية للنهج السابقة. تعتمد هذه البنية على منطق مختلف في التعبير؛ على سبيل المثال، المنطق من الرتبة الأولى والمنطق من الرتب العليا. ونقوم بتقييم منهجيتنا على مجموعتي بيانات قياسيتين، ونُظهر أن البنية المقترحة تحقق أداءً من الدرجة المتقدمة على كلا المهمتين: اختيار المقدمات وتصنيف خطوات الإثبات.