Controlled Reformulation Testing for Logical Consistency in Large Language Models
For NLP practitioners and LLM developers, this benchmark exposes that high accuracy masks poor logical consistency, especially under nontrivial reformulations like contrapositive rewriting.
LLMs often contradict themselves on logically equivalent questions. CRTBench (350 families, 1,750 questions) reveals a large accuracy-consistency gap: GPT-5.4-mini has 98.9% accuracy but only 60.3% consistency, while o4-mini reaches 96.9% consistency.
Large language models (LLMs) frequently contradict themselves when the surface form of a logically equivalent question changes. We present a benchmark of 350 question families (1,750 total questions) for Controlled Reformulation Testing (CRTBench) to evaluate logical invariance. In this benchmark, we investigate LLMs' ability to maintain consistent answers across controlled reformulations, which include contrapositive rewriting, double negation, negation flipping, and passive voice. We evaluate several frontier LLMs and observe an accuracy-consistency gap where GPT-5.4-mini achieves $98.9\%$ base accuracy but only $60.3\%$ family-level consistency, while reasoning-optimized o4-mini achieves $96.9\%$ consistency. From our experiments, we observe that failures cluster around logically nontrivial transformations such as contrapositive rewriting ($72.4\%$ for GPT-5.4-mini) and double negation ($84.6\%$), while surface-level rephrasing remains robust ($94-100\%$). Increasing reasoning effort improves GPT-5.4-mini to $85.4\%$ consistency, but leaves GPT-5.4 unchanged overall because gains on nested negation are offset by failures on quantifier families. These results show that accuracy alone is not enough for evaluating logical reasoning in LLMs.