@misc{indiciae82d999dc6745,
  title = {FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory},
  author = {Xiao-Wen Yang and Zihao Zhang and Jianuo Cao and Zhi Zhou and Zenan Li and Lan-Zhe Guo and Yuan Yao and Taolue Chen and Yu-Feng Li and Xiaoxing Ma},
  year = {2025},
  url = {https://arxiv.org/abs/2510.02335},
  note = {Source identifier: 2510.02335}
}