@misc{indiciae6dddeeaa5b4a,
  title = {Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving},
  author = {Yuliang Ji and Fuchen Shen and Jian Wu and Qiujie Xie and Yue Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.20973},
  note = {Source identifier: 2602.20973}
}