Evaluating Robustness of Reasoning Models on Parameterized Logical Problems

Naïm Es-sebbani, Esteban Marquer, Yakoub Salhi +1

Logic provides a controlled testbed for evaluating LLM-based reasoners, yet standard SAT-style benchmarks often conflate surface difficulty (length, wording, clause order) with the…