Yu, S., Liang, J. and Hu, H. (2026) “ToC: Tree-of-Claims Search with Multi-Agent Language Models”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(41), pp. 34495–34502. doi: 10.1609/aaai.v40i41.40748.