作者位次 #4/10ICLR 2026Poster
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Xiao-Wen Yang · Zihao Zhang · Jianuo Cao · Zhi Zhou · Zenan Li · Lan-Zhe Guo · Yuan Yao · Taolue Chen · Yu-Feng Li · Xiaoxing Ma
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Xiao-Wen Yang · Zihao Zhang · Jianuo Cao · Zhi Zhou · Zenan Li · Lan-Zhe Guo · Yuan Yao · Taolue Chen · Yu-Feng Li · Xiaoxing Ma
Shi-Yu Tian · Zhi Zhou · Wei Dong · Kun-Yang Yu · Ming Yang · Zi-Jian Cheng · Lan-Zhe Guo · Yu-Feng Li
Mathematical reasoning has long been a key benchmark for evaluating large language models. Although substantial progress has been made on math word problems, the need for reasoning over tabular data in real-world applications has been overlooked. For instance, applications such as business intell...
Xiao-Wen Yang · Xuan-Yi Zhu · Dingchu Zhang · Wen-Da Wei · Jie-Jing Shao · Zhi Zhou · Lan-Zhe Guo · Yufeng Li