Differentiable Abstract Interpretation for Provably Robust Neural Networks
dc.contributor.author
Gehr, Timon
dc.contributor.author
Vechev, Martin
dc.contributor.author
Mirman, Matthew
dc.contributor.editor
Dy, Jennifer
dc.contributor.editor
Krause, Andreas
dc.date.accessioned
2020-02-19T11:29:41Z
dc.date.available
2019-01-24T16:13:21Z
dc.date.available
2019-01-25T07:58:22Z
dc.date.available
2020-02-19T11:29:41Z
dc.date.issued
2018
dc.identifier.issn
2640-3498
dc.identifier.uri
http://hdl.handle.net/20.500.11850/319590
dc.language.iso
en
en_US
dc.publisher
PMLR
en_US
dc.title
Differentiable Abstract Interpretation for Provably Robust Neural Networks
en_US
dc.type
Conference Paper
ethz.book.title
Proceedings of the 35th International Conference on Machine Learning (ICML 2018)
en_US
ethz.journal.title
Proceedings of Machine Learning Research
ethz.journal.volume
80
en_US
ethz.pages.start
3578
en_US
ethz.pages.end
3586
en_US
ethz.event
35th International Conference on Machine Learning (ICML 2018)
en_US
ethz.event.location
Stockholm, Sweden
en_US
ethz.event.date
July 10-15, 2018
en_US
ethz.publication.place
Cambridge, MA
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
en_US
ethz.identifier.url
http://proceedings.mlr.press/v80/mirman18b.html
ethz.date.deposited
2019-01-24T16:13:23Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2019-01-25T07:58:28Z
ethz.rosetta.lastUpdated
2020-02-19T11:29:55Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Differentiable%20Abstract%20Interpretation%20for%20Provably%20Robust%20Neural%20Networks&rft.jtitle=Proceedings%20of%20Machine%20Learning%20Research&rft.date=2018&rft.volume=80&rft.spage=3578&rft.epage=3586&rft.issn=2640-3498&rft.au=Gehr,%20Timon&Vechev,%20Martin&Mirman,%20Matthew&rft.genre=proceeding&rft.btitle=Proceedings%20of%20the%2035th%20International%20Conference%20on%20Machine%20Learning%20(ICML%202018)
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [33497]