Evaluating Robustness of Reasoning Models on Parameterized Logical Problems
arXiv:2602.12665v1 Announce Type: new Abstract: Logic provides a controlled testbed for evaluating LLM-based reasoners, yet standard SAT-style benchmarks often conflate surface difficulty (length, wording, clause …
Na\"im Es-sebbani, Esteban Marquer, Yakoub Salhi, Zied Bouraoui
10 views