TY  - RPRT
TI  - Psychometric-Based Evaluation for Theorem Proving with Large Language Models
AU  - Jianyu Zhang
AU  - Yongwang Zhao
AU  - Long Zhang
AU  - Jilin Hu
AU  - Xiaokun Luan
AU  - Zhiwei Xu
AU  - Feng Yang
PY  - 2025
UR  - https://arxiv.org/abs/2502.00855
ID  - 2502.00855
ER  -