热度排名 #752

深度学习怎样进入交互式定理证明？

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

杰森·鲁特讲模型如何辅助找证明。听时可以区分系统提出下一步与证明助理核对这一步，看看两项工作如何衔接。

Institute for Pure & Applied Mathematics (IPAM) · 1 串讨论 · 热度 2.99

讨论出处