Aria: an Agent for Retrieval and Iterative Auto-Formalization via Dependency Graph
Wang Hanyu · Ruohan Xie · Wang Yutong · Guoxiong Gao · XintaoYu · Bin Dong
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Wang Hanyu · Ruohan Xie · Wang Yutong · Guoxiong Gao · XintaoYu · Bin Dong
Jiedong Jiang · Wanyi He · Wang Yuefeng · Guoxiong Gao · Yongle Hu · Jingting Wang · Nailin Guan · Peihao Wu · Bryan Dai · Liang Xiao · Bin Dong
Xukai Wang · Xuanbo Liu · Mingrui Chen · Haitian Zhong · Xuanlin Yang · Bohan Zeng · Jinbo Hu · Hao Liang · Junbo Niu · Xuchen Li · Ruitao Wu · Ruichuan An · Yang Shi · Liu Liu · Qiang Liu · Zhouchen Lin · Xu-yao Zhang · Wentao Zhang · Bin Dong
With the advancement of powerful large-scale reasoning models, effectively evaluating the reasoning capabilities of these models has become increasingly important. However, existing benchmarks designed to assess the reasoning abilities of large models tend to be limited in scope and lack the flex...