AI RESEARCH
Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
arXiv CS.LG
•
ArXi:2602.10512v2 Announce Type: replace