Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought
ProPose PrOntoQA, a logic-based synthetic dataset, to systematically analyze LLM reasoning, revealing strengths in single-step deduction but weaknesses in proof planning.
Abulhair Saparov, He He