Search for a command to run...
MaxProof: توسيع نطاق الإثبات الرياضي باستخدام التعلّم التعزيزي المولّد-المُحقّق والتوسع أثناء وقت الاختبار على مستوى المجموعة