CommentsThe authors have identified potential inconsistencies in some of the proofs and wish to withdraw the paper while conducting a thorough re-evaluation
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification
MiroThinker-1.7 与 H1:通过验证实现重型研究代理
MiroMind Team, S. Bai, L. Bing, L. Lei, R. Li, X. Li, X. Lin, E. Min, L. Su, B. Wang, L. Wang, L. Wang, S. Wang, X. Wang, Y. Zhang, Z. Zhang, G. Chen, L. Chen, Z. Cheng, Y. Deng, Z. Huang, D. Ng, J. Ni, Q. Ren, X. Tang, B. L. Wang, H. Wang, N. Wang, C. Wei, Q. Wu, J. Xia, Y. Xiao, H. Xu, X. Xu, C. Xue, Z. Yang, Z. Yang, F. Ye, H. Ye, J. Yu, C. Zhang, W. Zhang, H. Zhao, P. Zhu
机构
*
Department of Data Science and Artificial Intelligence, The Hong Kong Polytechnic University(数据科学与人工智能系,香港理工大学)
;
Department of Applied Mathematics, The Hong Kong Polytechnic University(应用数学系,香港理工大学)
机构
*
Renmin University of China(中国人民大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Shenzhen University(深圳大学)
;
City University of Hong Kong(香港城市大学)
;
Peking University(北京大学)
;
Massachusetts General Hospital and Harvard Medical School(麻省总医院和哈佛医学院)
Comments6 pages + 1 page references, 2 tables, 4 figures, preprint version to accepted paper to IEEE International Symposium on Multi-Robot & Multi-Agent Systems, Boston, 2023
Journal refIn Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Revised Selected Papers, Lecture Notes in Computer Science vol. 6822, pp. 56--75. Springer Berlin Heidelberg, 2011
CommentsAccepted at AAMAS2021 Blue Sky Ideas Track
Journal refIn Proc. of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Online, May 3-7, 2021, IFAAMAS, 5 pages