ArXivLean: How Well Can LLMs Formally Prove Research Math? #1 Post by OxfordCommand » Thu, Apr 23, 2026, 8:30 PM UTC ArXivLean: How Well Can LLMs Formally Prove Research Math?matharena.ai