@misc{indiciae9231073450ea,
  title = {A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning},
  author = {Can Cebeci and Nikolaj Bjørner and George Candea and Clément Pit-Claudel},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26345},
  note = {Source identifier: 2609.26345}
}