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

ELMRe-assign community