Towards Large Language Models as Copilots for Theorem Proving in Lean Posted by yeesian on Thursday September 12, 2024 @01:34AM from the arxiv.org dept. https://arxiv.org/abs/2404.12534 ( no comments | 2 points | on HN )
There are no comments yet.