VoxLogicA2:用于神经符号医学影像的空间模型检测器(扩展版)

原标题: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)

神经符号医学图像分析需要将神经网络处理与符号逻辑相结合。作者介绍了 VoxLogicA2，这是一种空间模型检测器，其新版本允许在同一种声明式语言中编写逻辑运算以及神经网络的训练和预测。其效率的提升已得到验证，此前基于 Python 的案例研究也仅使用 VoxLogicA2 规约重新进行了表达。