@misc{indiciae282c3e71815e,
  title = {Psychometric-Based Evaluation for Theorem Proving with Large Language Models},
  author = {Jianyu Zhang and Yongwang Zhao and Long Zhang and Jilin Hu and Xiaokun Luan and Zhiwei Xu and Feng Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2502.00855},
  note = {Source identifier: 2502.00855}
}