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

Best AI papers explained - Evaluating the Unseen Capabilities: How Many Theorems Do LLMs Know?