<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>PMLR Proceedings of Machine Learning Research</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
PMLR Proceedings of Machine Learning Research
-
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.presenter
Kapla, Daniel Benjamin
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
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
