Ji, Y., Shen, F., Wu, J., Xie, Q., & Zhang, Y. (2026). Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving.
Chicago Style (17th ed.) CitationJi, Yuliang, Fuchen Shen, Jian Wu, Qiujie Xie, and Yue Zhang. Linear Reasoning Vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving. 2026.
MLA (9th ed.) CitationJi, Yuliang, et al. Linear Reasoning Vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving. 2026.
Warning: These citations may not always be 100% accurate.