可扩展的概率神经符号验证方法

本研究对神经符号人工智能中的概率推理系统进行了形式化验证，提出了一种放松的近似验证方法，以确保其在关键领域的安全应用，并在自主驾驶数据集上验证了有效性。