Evaluating the Unseen Capabilities: How Many Theorems Do LLMs Know?

Xiang Li, Jiayi Xin, Qi Long +1

Accurate evaluation of large language models (LLMs) is crucial for understanding their capabilities and guiding their development. However, current evaluations often inconsistently…