跳到正文
热点事件历史事件

混合单调神经网络验证方法论文提交

1 篇报道1 个报道来源5 天前更新

先了解这件事

AI 综述

Jonas Fingerhut、Lukas Koller 和 Matthias Althoff 提交了一篇关于混合单调神经网络验证方法的论文，提出用两个单调子网络之差表示混合单调函数。论文称，该架构无需复杂的集合传播，只需对输入区间的两个相反角点进行前向传播，即可计算输出包络。

AI 根据报道生成 · 1 小时前更新

最新进展10月23日 12:00
无需集合传播的验证方法：混合单调神经网络的训练

报道时间线

沿着报道，了解事件的不同侧面。

10月23日
  1. arXiv · Machine Learning
    无需集合传播的验证方法：混合单调神经网络的训练

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