A arxiv.org Towards Large Language Models as Copilots for Theorem Proving in Lean 3 points yeesian 2 years ago 0 comments
