arXiv · ML· Jonas Fingerhut, Lukas Koller, Matthias Althoff·2026-10-23 12:00· 4 小时前AI 评分25

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

Training Mixed-Monotone Neural Networks for Verification Without Set Propagation

AI 导读

研究者提出一种新的混合单调神经网络架构，通过训练将紧输出包络的计算简化为两次前向传播。实验中包络尺寸降至理论下界的 0.5% 以内，且验证速度比 CROWN 快数个数量级。 ```

来源：arXiv · ML · arxiv.org