1
Mechanism-level routing failure in LLMs over Lean-verified algebraic structures
大型语言模型在形式化验证的代数结构上遭遇机制级路由失败,揭示推理深层次缺陷。
arXiv:2607.04534v1 Announce Type: new Abstract: We present an empirical study of structural routing failure in large language models (LLMs) over a for…