Psychometric-Based Evaluation for Theorem Proving with Large Language Models

Jianyu Zhang, Yongwang Zhao, Long Zhang +4

Large language models (LLMs) for formal theorem proving have become a prominent research focus. At present, the proving ability of these LLMs is mainly evaluated through proof pass…