NeSySpec：神经符号工程规范审计框架

Pier Mattia Basciano 等作者提出并验证了 NeSySpec，一个基于 Logic Tensor Networks 的可解释神经符号审计框架，用于核查飞机规格。该框架在单一流程中诊断规格违反的物理约束，通过溯因定位被篡改字段，并提出最小改动修正。 上述能力来自作者在论文中的描述，报道未给出独立验证结果或实际应用效果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。