TY  - RPRT
TI  - Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
AU  - Sho Sonoda
AU  - Shunta Akiyama
AU  - Yuya Uezato
PY  - 2026
UR  - https://arxiv.org/abs/2602.10512
ID  - 2602.10512
ER  -