Apache MXNet 支持符号式和命令式混合编程。Gluon API 简化模型构建。自动并行在 GPU 集群上扩展。本文对比 MXNet 和 PyTorch 的 API 设计差异。
将逻辑符号推理与神经网络结合,实现可解释的演绎推理、归结原理和定理证明。