像搭乐高一样做数学定理证明题,GPT-3.5证明成功率达新SOTA
机器之心专栏
机器之心编辑部
中山大学和华为等机构的研究者提出了 LEGO-Prover,实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。
论文地址:https://arxiv.org/abs/2310.00656 代码地址:https://github.com/wiio12/LEGO-Prover
© THE END
转载请联系本公众号获得授权
投稿或寻求报道:[email protected]
微信扫码关注该文公众号作者
戳这里提交新闻线索和高质量文章给我们。
来源: qq
点击查看作者最近其他文章