会员服务
AI for mathematics | 谷歌Minerva & Autoformalization项目原作解读
AI for mathematics | 谷歌Minerva & Autoformalization项目原作解读
机器之心
0+阅读 · 2022年10月25日
AI再卷数学界，DSP新方法将机器证明成功率提高一倍
AI再卷数学界，DSP新方法将机器证明成功率提高一倍
机器之心
0+阅读 · 2022年11月20日
参考链接
微信扫码咨询专知VIP会员
Top