TY  - RPRT
TI  - Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
AU  - Yuliang Ji
AU  - Fuchen Shen
AU  - Jian Wu
AU  - Qiujie Xie
AU  - Yue Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2602.20973
ID  - 2602.20973
ER  -