2025/10/02 by Williamson, Dane, Yangfeng Ji, Ji, Yangfeng +2
Computer Science · #Computation and Language (cs.CL) #Dependency (UML) #FOS: Computer and information sciences #I.2.0 #I.2.7 #Intelligent Tutoring Systems and Adaptive Learning #Mathematics, Computing, and Information Processing #Metric (unit) #Parsing #Selection (genetic algorithm) #Semantics (computer science) #Syntax #Visual reasoning
paper · pdf · doi:10.48550/arxiv.2510.01831
published in arXiv (Cornell University) (Cornell University)
openalex publication_date 2025/10/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Large Language Models (LLMs) demonstrate strong mathematical problem-solving abilities but frequently fail on problems that deviate syntactically from their training distribution. We identify a systematic failure mode, syntactic blind spots, in which models misapply familiar reasoning strategies to problems that are semantically straightforward but phrased in unfamiliar ways. These errors are not due to gaps in mathematical competence, but rather reflect a brittle coupling between surface form and internal representation. To test this, we rephrase incorrectly answered questions using syntactic templates drawn from correct examples. These rephrasings, which preserve semantics while reducing structural complexity, often lead to correct answers. We quantify syntactic complexity using a metric based on Dependency Locality Theory (DLT), and show that higher DLT scores are associated with increased failure rates across multiple datasets. Our findings suggest that many reasoning errors stem from structural misalignment rather than conceptual difficulty, and that syntax-aware interventions can reveal and mitigate these inductive failures.