Found 1 document(s)
Page 1 of 1
-
Despite recent impressive achievements of Large Language Models (LLMs) in formal mathematics using proof assistants, the state-of-the-art has mostly focused on mathematics competitions where problems typically involve si...