Fast and effective robustness certification
dc.contributor.author
Singh, Gagandeep
dc.contributor.author
Gehr, Timon
dc.contributor.author
Mirman, Matthew
dc.contributor.author
Püschel, Markus
dc.contributor.author
Vechev, Martin
dc.contributor.editor
Bengio, Samy
dc.contributor.editor
Wallach, Hanna
dc.contributor.editor
Larochelle, Hugo
dc.contributor.editor
Grauman, Kristen
dc.contributor.editor
Cesa-Bianchi, Nicolò
dc.contributor.editor
Garnett, Roman
dc.date.accessioned
2019-08-27T10:04:29Z
dc.date.available
2019-04-12T06:01:12Z
dc.date.available
2019-08-27T10:04:29Z
dc.date.issued
2019
dc.identifier.isbn
978-1-5108-8447-2
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/337690
dc.language.iso
en
en_US
dc.publisher
Curran
en_US
dc.title
Fast and effective robustness certification
en_US
dc.type
Conference Paper
ethz.book.title
Advances in Neural Information Processing Systems 31
en_US
ethz.pages.start
10802
en_US
ethz.pages.end
10813
en_US
ethz.event
32nd Annual Conference on Neural Information Processing Systems (NeurIPS 2018)
en_US
ethz.event.location
Montreal, Canada
en_US
ethz.event.date
December 3-8, 2018
en_US
ethz.identifier.wos
ethz.publication.place
Red Hook, NY
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::03893 - Püschel, Markus / Püschel, Markus
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::03893 - Püschel, Markus / Püschel, Markus
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
ethz.identifier.url
http://papers.nips.cc/paper/8278-fast-and-effective-robustness-certification
ethz.date.deposited
2019-01-07T12:28:20Z
ethz.source
WOS
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2019-08-27T10:04:41Z
ethz.rosetta.lastUpdated
2020-02-15T20:50:25Z
ethz.rosetta.versionExported
true
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/337116
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/314012
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Fast%20and%20effective%20robustness%20certification&rft.date=2019&rft.spage=10802&rft.epage=10813&rft.au=Singh,%20Gagandeep&Gehr,%20Timon&Mirman,%20Matthew&P%C3%BCschel,%20Markus&Vechev,%20Martin&rft.isbn=978-1-5108-8447-2&rft.genre=proceeding&rft.btitle=Advances%20in%20Neural%20Information%20Processing%20Systems%2031
Dateien zu diesem Eintrag
| Dateien | Größe | Format | Im Viewer öffnen |
|---|---|---|---|
|
Zu diesem Eintrag gibt es keine Dateien. |
|||
Publikationstyp
-
Conference Paper [35258]