Title |
---|
![]() Scaling Large Language Model-based Multi-Agent Collaboration Chen Qian Zihao Xie YiFei Wang Wei Liu Yufan Dang ...Zhuoyun Du Weize Chen Cheng Yang Zhiyuan Liu Maosong Sun |
![]() Proving Theorems Recursively Haiming Wang Huajian Xin Zhengying Liu Wenda Li Yinya Huang ...Zhicheng YANG Jing Tang Jian Yin Zhenguo Li Xiaodan Liang |