APA (7th ed.) Citation

Zhang, J., Zhao, Y., Zhang, L., Hu, J., Luan, X., Xu, Z., & Yang, F. (2025). Psychometric-Based Evaluation for Theorem Proving with Large Language Models.

Chicago Style (17th ed.) Citation

Zhang, Jianyu, Yongwang Zhao, Long Zhang, Jilin Hu, Xiaokun Luan, Zhiwei Xu, and Feng Yang. Psychometric-Based Evaluation for Theorem Proving with Large Language Models. 2025.

MLA (9th ed.) Citation

Zhang, Jianyu, et al. Psychometric-Based Evaluation for Theorem Proving with Large Language Models. 2025.