AlphaEval: A Comprehensive and Efficient Evaluation Framework for Formula Alpha Mining. - Hongjun Ding; Binqi Chen; Jinsheng Huang; Taian Guo; Zhengyang Mao; Guoyi Shao; Lutong Zou; Luchen Liu; Ming Zhang 004 (CoRR, 2025)