Towards Large Language Models as Copilots for Theorem Proving in Lean #1 Post by yeesian » Thu, Sep 12, 2024, 5:34 AM UTC Towards Large Language Models as Copilots for Theorem Proving in Leanarxiv.org