Record link: 
http://hdl.handle.net/20.500.12708/219936
-
Title: 
Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs
en
Citation: 
Kofnov, A., Kapla, D. B., Bartocci, E., & Bura, E. (2025). Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs. In Proceedings of 42nd International Conference on Machine Learning (pp. 31133–31157). http://hdl.handle.net/20.500.12708/219936
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Kofnov, Andrey 
Kapla, Daniel Benjamin 
Bartocci, Ezio 
Bura, Efstathia 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
E105-08 - Forschungsbereich Angewandte Statistik 
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies 
E056-13 - Fachbereich LogiCS 
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems 
E056-26 - Fachbereich Automated Reasoning 
-
Published in: 
Proceedings of 42nd International Conference on Machine Learning 
-
Volume: 
267
-
Date (published): 
2025
-
Event name: 
42nd International Conference on Machine Learning (ICML 2025) 
en
Event date: 
13-Jul-2025 - 19-Jul-2025
-
Event place: 
Vancouver, Canada
-
Number of Pages: 
25
-
Peer reviewed: 
Yes
-
Keywords: 
Exact Upper and Lower Bounds; neural networks deep learning
en
Project title: 
Distribution Recovery for Invariant Generation of Probabilistic Programs: ICT19-018 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Link (external): 
https://openreview.net/pdf?id=YJZFAtuQWX
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

68
checked on Oct 13, 2025

Google ScholarTM

Check