VoxLogicA2:用於神經符號醫學影像的空間模型檢查器(延伸版)

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

神經符號醫學影像分析需要將神經網路處理與符號邏輯結合。作者提出 VoxLogicA2，這是一個空間模型檢查器，其新版本讓邏輯運算以及神經網路的訓練與預測都能以單一宣告式語言撰寫。其效率提升已獲驗證，且先前以 Python 為基礎的案例研究也僅憑 VoxLogicA2 規格重新表達。