本文探讨了利用神经网络计算李雅普诺夫函数的方法，编码李雅普诺夫条件为偏微分方程，并分析其解的性质。研究表明，通过可满足性求解器验证学习到的李雅普诺夫函数的充分条件，可以有效进行局部稳定分析和吸引域估计。此外，提出了一种无导数损失方法，结合费曼-卡克公式，优化了神经网络在解决复杂偏微分方程中的应用。