University of Southern California（南加州大学）

Training Diverse Graph Experts for Ensembles: A Systematic Empirical Study

Gangda Deng, Yuxin Yang, Ömer Faruk Akgül, Hanqing Zeng, Yinglong Xia, Rajgopal Kannan, Viktor Prasanna

机构 * University of Southern California（美国南加州大学） ； Meta AI ； DEVCOM ARL Army Research Office（DEVCOM ARL陆军研究办公室） 纠错

Fostering the Ecosystem of AI for Social Impact Requires Expanding and Strengthening Evaluation Standards

Bryan Wilder, Angela Zhou

机构 * Bryan Wilder Machine Learning Department（比尔·韦尔德机器学习部门） ； Carnegie Mellon University（卡内基梅隆大学） ； Angela Zhou Department of Data Sciences and Operations（安杰莉娅·周数据科学与运营部门） ； Department of Computer Science University of Southern California（计算机科学系美国南加州大学） 纠错

Comments Accepted at NeurIPS 2025

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search

Zijian Wu, Suozhi Huang, Zhejian Zhou, Huaiyuan Ying, Zheng Yuan, Wenwei Zhang, Dahua Lin, Kai Chen

机构 * Shanghai AI Laboratory（上海人工智能实验室） ； The Chinese University of Hong Kong（香港中文大学） ； Tsinghua University（清华大学） ； University of Southern California（美国南加州大学） 纠错