Discovering New Theorems via LLMs with In-Context Proof Learning in Lean

LRMRe-assign community