MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems - Lei, Bin; Zhang, Yi; Zuo, Shan; Payani, Ali; Ding, Caiwen (Advances in Neural Information Processing Systems, 2024)