在交互式定理证明器中使用神经网络证明定理的一些初步探索

May 17, 2022