SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines. - M.-A-P. Team; Xinrun Du; Yifan Yao; Kaijing Ma; Bingli Wang; Tianyu Zheng; Kang Zhu; Minghao Liu; Yiming Liang; Xiaolong Jin; Zhenlin Wei; Chujie Zheng; et al. (CoRR, 2025)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models. - Zhouliang Yu; Ruotian Peng; Keyi Ding; Yizhe Li; Zhongyuan Peng; Minghao Liu 003; Yifan Zhang; Zheng Yuan; Huajian Xin; Wenhao Huang 001; Yandong Wen; Ge Zhang 009; et al. (CoRR, 2025)