ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
تقدم الورقة البحثية \textsc{ReasonSTL}، وهو إطار عمل مدعوم بالأدوات يعمل على تكييف النماذج اللغوية مفتوحة المصدر المحلية عبر التعلم القائم على مكافأة العمليات لترجمة متطلبات اللغة الطبيعية بدقة وخصوصية إلى صيغ المنطق الزمني الإشاري (STL)، مما يوفر بديلاً فعالاً من حيث التكلفة للمواصفات اليدوية وواجهات برمجة التطبيقات التجارية.