<div class="csl-bib-body">
<div class="csl-entry">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 <i>Proceedings of 42nd International Conference on Machine Learning</i> (pp. 31133–31157). http://hdl.handle.net/20.500.12708/219936</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/219936
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.subject
Exact Upper and Lower Bounds
en
dc.subject
neural networks deep learning
en
dc.title
Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.description.startpage
31133
-
dc.description.endpage
31157
-
dc.relation.grantno
ICT19-018
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of 42nd International Conference on Machine Learning
-
tuw.container.volume
267
-
tuw.peerreviewed
true
-
tuw.project.title
Distribution Recovery for Invariant Generation of Probabilistic Programs
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.linking
https://openreview.net/pdf?id=YJZFAtuQWX
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publication.orgunit
E105-08 - Forschungsbereich Angewandte Statistik
-
tuw.publication.orgunit
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
dc.description.numberOfPages
25
-
tuw.author.orcid
0000-0002-8004-6601
-
tuw.event.name
42nd International Conference on Machine Learning (ICML 2025)
en
tuw.event.startdate
13-07-2025
-
tuw.event.enddate
19-07-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Vancouver
-
tuw.event.country
CA
-
tuw.event.institution
Vancouver Convention Center
-
tuw.event.presenter
Kapla, Daniel Benjamin
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E105-08 - Forschungsbereich Angewandte Statistik
-
crisitem.author.dept
E105-08 - Forschungsbereich Angewandte Statistik
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E105-08 - Forschungsbereich Angewandte Statistik
-
crisitem.author.orcid
0000-0002-8004-6601
-
crisitem.author.parentorg
E105 - Institut für Stochastik und Wirtschaftsmathematik
-
crisitem.author.parentorg
E105 - Institut für Stochastik und Wirtschaftsmathematik
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
crisitem.author.parentorg
E105 - Institut für Stochastik und Wirtschaftsmathematik
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
