@misc{indiciae1f8bc5f549f5,
  title = {Evaluating the Unseen Capabilities: How Many Theorems Do LLMs Know?},
  author = {Xiang Li and Jiayi Xin and Qi Long and Weijie J. Su},
  year = {2025},
  url = {https://arxiv.org/abs/2506.02058},
  note = {Source identifier: 2506.02058}
}