TY  - RPRT
TI  - A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning
AU  - Can Cebeci
AU  - Nikolaj Bjørner
AU  - George Candea
AU  - Clément Pit-Claudel
PY  - 2026
UR  - https://arxiv.org/abs/2609.26345
ID  - 2609.26345
ER  -