TY  - RPRT
TI  - FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
AU  - Xiao-Wen Yang
AU  - Zihao Zhang
AU  - Jianuo Cao
AU  - Zhi Zhou
AU  - Zenan Li
AU  - Lan-Zhe Guo
AU  - Yuan Yao
AU  - Taolue Chen
AU  - Yu-Feng Li
AU  - Xiaoxing Ma
PY  - 2025
UR  - https://arxiv.org/abs/2510.02335
ID  - 2510.02335
ER  -