Mechanism-level routing failure in LLMs over Lean-verified algebraic structures
基于精益验证代数结构的大语言模型中的机制级路由失败
机构 * Bytepro AI(字节宝人工智能公司) ; National University of Singapore(新加坡国立大学) ; Omega Institute(欧米茄研究所) ; ChronoAI(chrono人工智能公司)
专题命中 效率与部署 :large language model(abstract);language model(abstract);分类 cs.CL
AI总结 研究大语言模型在形式验证代数语料库中的结构路由失败,通过在固定模板集选正确证明机制标签任务,发现机制级路由上限,揭示主导失败类型及模型差异,扩展了路由器假设。
Comments Code, data, and evaluation pipeline available at https://github.com/bytepro-ai/fiber-routing-eval