TY  - RPRT
TI  - FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
AU  - Zhouliang Yu
AU  - Ruotian Peng
AU  - Keyi Ding
AU  - Yizhe Li
AU  - Zhongyuan Peng
AU  - Minghao Liu
AU  - Yifan Zhang
AU  - Zheng Yuan
AU  - Huajian Xin
AU  - Wenhao Huang
AU  - Yandong Wen
AU  - Ge Zhang
AU  - Weiyang Liu
PY  - 2025
UR  - https://arxiv.org/abs/2505.02735
ID  - 2505.02735
ER  -