Jul 2026
Controlled Reformulation Testing for Logical Consistency in Large Language Models
The results show that accuracy alone is not enough for evaluating logical reasoning in LLMs, and several frontier LLMs are evaluated, which include contrapositive rewriting, double negation, negation flipping, and passive voice.
Alex Gu, Alang Chen
· arXiv.org · 1 citation