INQUIRING LINE

AI mistakes aren't random noise: they pile up in the same predictable places, and those places reveal what the model really learned.

Why do unresolved items cluster in structured patterns rather than randomly?

This explores why the cases AI systems fail to get right pile up along predictable fault lines instead of scattering like noise. The corpus has no note on "unresolved items" as a category, so I'm reading it as systematic failure.


This explores why the cases AI systems fail to get right pile up along predictable fault lines instead of scattering like noise. The corpus has no note on "unresolved items" as such, but many notes describe failures with this pattern. The shared answer is that errors follow the structure of what the model actually learned, not the structure of the task we assume it's doing.

Language is the cleanest case. Models like Llama3-70b handle simple sentences but keep misidentifying embedded clauses, verb phrases and complex nominals, and the errors get worse in step with syntactic depth (Why do large language models fail at complex linguistic tasks?, Does LLM grammatical performance decline with structural complexity?). A model that had learned grammar rules wouldn't care much about nesting depth. A model that learned surface heuristics works until nesting outruns them. Reasoning shows the same thing, with a twist. Reasoning models don't break at a complexity threshold. They break at instance-novelty boundaries, and a chain of any length works if the model trained on similar instances (Do language models fail at reasoning due to complexity or novelty?). Reasoning-trace length tracks problem difficulty only in-distribution and decouples from it outside (Does longer reasoning actually mean harder problems?). So the fault line is distance from the training data, which has structure, and that's why the failures do too.

Average scores hide this. Models trained with SGD can reach perfect accuracy with every needed feature linearly decodable while their internal organization is fractured, and that stays invisible until perturbation or distribution shift exposes it (Can models be smart without organized internal structure?). The failure clusters sit in the regions a standard test set never probes.

Pipelines cluster failures for a different reason: failures share an upstream cause. RAG failures are architectural. Embeddings measure association rather than relevance, and embedding dimension limits which sets of documents can be represented at all, so the same kinds of queries fail repeatedly (Where do retrieval systems fail and why?). Structural near-misses that look topically right get confused with true matches, and a verifier working on full token-interaction patterns catches what compressed vectors miss (Can verification separate structural near-misses from topical matches?). In skill retrieval, LLM task decomposition reaches only 34% step-level recall, and correcting the step count alone recovers 75% of the gains (What blocks skill retrieval in task decomposition?). One bad upstream choice produces a correlated heap of downstream misses. Reasoning models add a behavioral version: they wander, or abandon promising paths too early, and a decoding penalty on thought-switching helps without any fine-tuning (Why do reasoning models abandon promising solution paths?).

The corpus also suggests that clustering is itself a signal. Taobao's Swing algorithm finds structural patterns noise-resistant because several independent noisy edges rarely line up by coincidence (Can graph structure patterns outperform direct edge signals in noisy data?). That note is about product graphs, not model failures, but the logic carries over. Random errors don't align, so when failures do align, something shared is causing them. This also explains why the fixes in the corpus match structure to structure: routing each query to the knowledge format its task needs, such as tables, graphs or chunks (Can routing queries to task-matched structures improve RAG reasoning?), or deriving symbolic rules from a knowledge graph's topology so reasoning follows the graph instead of similarity (Can symbolic rules from knowledge graphs guide complex reasoning?).


Sources 12 notes

Why do large language models fail at complex linguistic tasks?

Top-tier LLMs like Llama3-70b consistently misidentify embedded clauses, verb phrases, and complex nominals. Performance degrades predictably as syntactic depth increases, revealing that statistical learning captures surface patterns but not deep grammatical rules.

Does LLM grammatical performance decline with structural complexity?

LLMs show systematic performance decline as syntactic depth and embedding increase. Simple sentences are handled well while complex structures with recursion and embedding fail consistently, suggesting LLMs learned surface heuristics rather than structural grammar rules.

Do language models fail at reasoning due to complexity or novelty?

LRMs don't break at complexity thresholds but at instance-novelty boundaries. Models fit instance-based patterns rather than generalizable algorithms, so any reasoning chain succeeds if trained on similar instances, regardless of length.

Does longer reasoning actually mean harder problems?

Controlled A* maze experiments show trace length correlates with difficulty only in-distribution but decouples entirely out-of-distribution. Trace length primarily reflects recall of training schemas, not adaptive computation.

Can models be smart without organized internal structure?

Models trained with SGD can contain all the linearly decodable features needed for a task while maintaining fundamentally broken internal organization. This makes them vulnerable to perturbation and distribution shift invisible to standard evaluation metrics.

Show all 12 sources
Where do retrieval systems fail and why?

RAG systems fail at three structural levels: adaptive triggering (fixed intervals waste context), semantic-task mismatch (embeddings measure association, not relevance), and mathematical limits (embedding dimension constrains representable document sets). These require fundamentally different retrieval approaches, not tuning.

Can verification separate structural near-misses from topical matches?

A two-stage pipeline—pooled-cosine recall followed by a small Transformer verifier operating on token-token similarity maps—reliably rejects structural near-misses that MaxSim-style late interaction cannot. The verifier succeeds because it operates on full token interaction patterns rather than compressed vectors.

What blocks skill retrieval in task decomposition?

Standard LLM decomposition reaches only 34% step-level recall, gating retrieval success. Correcting step count recovers 75% of gains in iterative methods, shifting the bottleneck to representation-level reranking rather than vocabulary alignment.

Why do reasoning models abandon promising solution paths?

Reasoning LLMs exhibit two reinforcing failures: wandering (invalid exploration) and underthinking (premature path-switching). Decoding-level interventions like thought-switching penalties improve accuracy without fine-tuning, suggesting viable solutions exist but are abandoned prematurely.

Can graph structure patterns outperform direct edge signals in noisy data?

Taobao's Swing algorithm constructs more robust product substitute graphs by exploiting quasi-local bipartite patterns rather than single edges. Structural signals are inherently noise-resistant because they require multiple independent noisy edges to coincidentally align, which rarely happens by chance.

Can routing queries to task-matched structures improve RAG reasoning?

StructRAG demonstrates that selecting knowledge structure type based on query demands—via DPO-trained router choosing among tables, graphs, algorithms, catalogues, and chunks—improves knowledge-intensive reasoning over standard retrieval. The approach grounds this in cognitive load and cognitive fit theory from cognitive science.

Can symbolic rules from knowledge graphs guide complex reasoning?

SymAgent derives symbolic rules from KG structure using LLM reasoning to create navigational plans that align natural language with graph topology. This approach captures structural reasoning patterns explicitly, outperforming retrieval methods that rely on semantic similarity alone.

Papers this line draws on 8

The research behind the notes this line reads — ranked by how closely each paper relates.