interval analysis | BriefGPT

关键词interval analysis

搜索结果 - 5

$\texttt {immrax}$：基于 JAX 的可并行化和可微工具包，用于区间分析和混合单调可达性
我们在 Python 中提出了一种区间分析和混合单调区间可达性分析的实现，完全符合计算框架 JAX 的可组合性。该工具箱继承了 JAX 的几个关键特性，包括通过即时编译的计算效率、用于快速并行计算的 GPU 加速以及自动可区分性。我们在几个
PDF6 months ago
神经网络控制系统中的正向不变性
本论文提出了一种基于区间分析和单调系统理论的框架，用于在具有神经网络控制器的非线性系统中证明和搜索正向不变集。
PDF10 months ago
numpy 快速区间算术工具箱及其在神经网络控制系统形式验证中的应用
本文介绍了一个基于 numpy 的区间分析工具箱，用于神经网络控制系统的形式验证，利用自然包容函数系统地构建了一般映射的区间边界，并通过自然包容函数的组合，提供了一种用于动态神经网络控制器的形式验证的方法。
PDFa year ago
神经网络的区间算法基本限制
本文讨论了区间分析（或区间边界传播，IBP）用于验证和训练可靠机器学习的深度神经网络的可行性问题。研究发现，对于任何深度神经网络分类只有三个点，存在 IBP 无法证明的有效规范。此外，在单隐藏层神经网络的限制情况下，存在一组点，无论采用多少
PDF3 years ago
AAAI前馈神经网络符合规范的安全验证
该论文提出了一种基于规范引导的安全验证方法，针对具有一般激活函数的前馈神经网络进行验证，使用区间分析方法进行计算，并开发了一个高效的算法来完成安全验证，实验结果表明该方法具有更高的效率和更少的计算代价。
PDF6 years ago