Yu, S.; Liang, J.; Hu, H. ToC: Tree-of-Claims Search With Multi-Agent Language Models. AAAI 2026, 40, 34495-34502.