TY  - RPRT
TI  - FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
AU  - Jiedong Jiang
AU  - Wanyi He
AU  - Yuefeng Wang
AU  - Guoxiong Gao
AU  - Yongle Hu
AU  - Jingting Wang
AU  - Nailin Guan
AU  - Peihao Wu
AU  - Chunbo Dai
AU  - Liang Xiao
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2511.02872
ID  - 2511.02872
ER  -