arXiv · Machine Learning· Jonas Fingerhut, Lukas Koller, Matthias Althoff·2026-10-23 12:00· 5 天前AI 评分64

无需集合传播的验证方法：混合单调神经网络的训练

Training Mixed-Monotone Neural Networks for Verification Without Set Propagation

AI 导读

Jonas Fingerhut、Lukas Koller 和 Matthias Althoff 提出一种用于神经网络形式化验证的混合单调架构，将混合单调函数表示为两个单调子网络之差，无需复杂的集合传播，只需对输入区间的两个相反角点进行前向传播即可计算输出包络。