@article{fateaformalbenchmarkseriesforfrontieralg,
  title = {FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels},
  author = {Jiedong Jiang and Wanyi He and Yuefeng Wang and Guoxiong Gao and Yongle Hu and Jingting Wang and Nailin Guan and Peihao Wu and Chunbo Dai and Liang Xiao and Bin Dong},
  year = {2025},
  eprint = {2511.02872},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2511.02872},
}