Qiujie Xie

LLMs struggle significantly with case-based reasoning in first-order logic, performing far worse than on linear reasoning tasks, exposing a key limitation in their mathematical capabilities.