TY  - RPRT
TI  - Mechanism-level routing failure in LLMs over Lean-verified algebraic structures
AU  - Manuel Israel Cázares
AU  - Wenlin Zhang
AU  - Haobo Ma
PY  - 2026
UR  - https://arxiv.org/abs/2607.04534
ID  - 2607.04534
ER  -