Mar, 2024

利用验证辅助学习神经网络障碍函数并具备终止保证

TL;DR通过使用自我监督学习和凸优化方法,在验证辅助学习框架中使用微调算法找到有效的屏障函数,以解决屏障函数综合的问题,提高验证辅助学习框架的性能。