TY  - RPRT
TI  - Evaluating the Unseen Capabilities: How Many Theorems Do LLMs Know?
AU  - Xiang Li
AU  - Jiayi Xin
AU  - Qi Long
AU  - Weijie J. Su
PY  - 2025
UR  - https://arxiv.org/abs/2506.02058
ID  - 2506.02058
ER  -