本研究提出了一种可扩展的概率神经符号验证方法，解决了神经符号人工智能中概率推理系统的形式化验证问题。该方法在复杂性处理上表现出显著的扩展性，并在自主驾驶数据集上有效验证了安全特性。