本研究首次提出了一种神经证书框架，针对连续时间随机动态系统，填补了现有概率验证方法的空白。该框架结合了机器学习与符号推理，为非线性系统提供了形式化的概率界限，并在基准测试中验证了其有效性。