Interval Universal Approximation for Neural Networks

v1v2v3v4v5 (latest)

Interval Universal Approximation for Neural Networks

12 July 2020

Aws Albarghouthi

Gautam Prakriya

ArXiv (abs)PDF HTML

Papers citing "Interval Universal Approximation for Neural Networks"

5 / 5 papers shown

Title
Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks Zi Wang Divyam Anshumaan Ashish Hooda Yudong Chen Somesh Jha AAML 96 0 0 05 Oct 2024
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training Jiaxu Tian Dapeng Zhi Si Liu Peixin Wang Guy Katz Hao Fei 48 2 0 21 Nov 2022
A Quantitative Geometric Approach to Neural-Network Smoothness Zehao Wang Gautam Prakriya S. Jha 112 13 0 02 Mar 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 42 6 0 09 Dec 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Yue Liu AAML 123 131 0 09 Sep 2020