@misc{indiciaecc291777a78d,
  title = {Mechanism-level routing failure in LLMs over Lean-verified algebraic structures},
  author = {Manuel Israel Cázares and Wenlin Zhang and Haobo Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2607.04534},
  note = {Source identifier: 2607.04534}
}