作者位次 #6/11ICLR 2026Poster· Applications / Everything Else
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
Jiedong Jiang · Wanyi He · Wang Yuefeng · Guoxiong Gao · Yongle Hu · Jingting Wang · Nailin Guan · Peihao Wu · Bryan Dai · Liang Xiao · Bin Dong
评测与基准OpenReview