Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2007.06093
Cited By
v1
v2
v3
v4
v5 (latest)
Interval Universal Approximation for Neural Networks
12 July 2020
Zi Wang
Aws Albarghouthi
Gautam Prakriya
S. Jha
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Interval Universal Approximation for Neural Networks"
12 / 12 papers shown
Functional Homotopy: Smoothing Discrete Optimization via Continuous Parameters for LLM Jailbreak Attacks
International Conference on Learning Representations (ICLR), 2024
Zi Wang
Divyam Anshumaan
Ashish Hooda
Yudong Chen
Somesh Jha
AAML
399
4
0
05 Oct 2024
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
International Conference on Software Engineering (ICSE), 2024
Shibbir Ahmed
Hongyang Gao
Hridesh Rajan
349
3
0
26 Jan 2024
Expressivity of ReLU-Networks under Convex Relaxations
Maximilian Baader
Mark Niklas Muller
Yuhao Mao
Martin Vechev
219
7
0
07 Nov 2023
Understanding Certified Training with Interval Bound Propagation
International Conference on Learning Representations (ICLR), 2023
Yuhao Mao
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
461
24
0
17 Jun 2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
International Symposium on Software Testing and Analysis (ISSTA), 2023
Zhiyi Xue
Si Liu
Zhaodi Zhang
Yiting Wu
Hao Fei
AAML
194
4
0
26 May 2023
Efficient Symbolic Reasoning for Neural-Network Verification
Zi Wang
S. Jha
Krishnamurthy Dvijotham
Dvijotham
AAML
NAI
360
2
0
23 Mar 2023
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2022
Jiaxu Tian
Dapeng Zhi
Si Liu
Peixin Wang
Guy Katz
Hao Fei
194
2
0
21 Nov 2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Neural Networks (NN), 2022
Edoardo Manino
I. Bessa
Lucas C. Cordeiro
255
3
0
21 Oct 2022
On the Convergence of Certified Robust Training with Interval Bound Propagation
International Conference on Learning Representations (ICLR), 2022
Yihan Wang
Zhouxing Shi
Quanquan Gu
Cho-Jui Hsieh
212
11
0
16 Mar 2022
A Quantitative Geometric Approach to Neural-Network Smoothness
Neural Information Processing Systems (NeurIPS), 2022
Zehao Wang
Gautam Prakriya
S. Jha
397
17
0
02 Mar 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks
M. Mirman
Maximilian Baader
Martin Vechev
189
8
0
09 Dec 2021
SoK: Certified Robustness for Deep Neural Networks
IEEE Symposium on Security and Privacy (IEEE S&P), 2020
Linyi Li
Tao Xie
Yue Liu
AAML
877
151
0
09 Sep 2020
1
Page 1 of 1
