Cao, Jianuo

1 publications

ICLR 2026 FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory Xiao-Wen Yang, Zihao Zhang, Jianuo Cao, Zhi Zhou, Zenan Li, Lan-Zhe Guo, Yuan Yao, Taolue Chen, Yu-Feng Li, Xiaoxing Ma