我们研究了学习李雅普诺夫稳定神经控制器的难题，该控制器可在吸引区域内经验证满足李雅普诺夫渐近稳定性条件。与以往通常使用反例引导训练的方法不同，我们开发了一个新的、普遍公式化的认证训练框架 CT-BaB，并针对可微分的验证界限进行优化，以生成易于验证的模型。为了处理相对较大的感兴趣区域，我们提出了一种新颖的训练时分支定界框架，以在整个训练过程中动态维护子区域的训练数据集，以便迭代地将最难的子区域细分为更小的子区域，从而可以更紧密地计算其验证界限，从而简化训练。我们证明了我们的新训练框架可以生成在测试时可以更有效验证的模型。在最大的二维四旋翼动力学系统上，与基线相比，我们模型的验证速度提高了 5 倍以上，而我们的吸引区域大小是基线的 16 倍。