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

Open in new window