Towards Large Language Models as Copilots for Theorem Proving in Lean(arxiv.org)3 points·by yeesian·2 ปีที่แล้ว·0 commentsarxiv.orgTowards Large Language Models as Copilots for Theorem Proving in Leanhttps://arxiv.org/abs/2404.125340 commentsPost comment—