ArXivLean: How Well Can LLMs Formally Prove Research Math?

 (matharena.ai)

2 points | by OxfordCommand 3 hours ago

0 comments