神经定理证明

利用神经网络辅助或自动完成形式化数学证明的技术