Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game
تقدم هذه الورقة "لعبة الأعداد الطبيعية المموّهة" كمعيار لتقييم "الاستدلال الهيكلي" — وهو القدرة على تركيب البراهوُت باستخدام البديهيات المحلية فقط دون استعانة بقرائن دلالية — وتُبين أنه بينما تعاني النماذج اللغوية الكبيرة العامة من تدهور في الأداء تحت تأثير التمويه، تحافظ نماذج الاستدلال المتخصصة على دقتها، مما يميز الاستدلال المنطقي الحقيقي عن مطابقة الأنماط.