The paper “Reluplex: An Efficient SMT Solver for Verifying
Deep Neural Networks” is available here:
Out Patreon page:
Earlier episodes that were showcased:
pix2pix –
Breaking DeepMind’s Game AI System –
WE WOULD LIKE TO THANK OUR GENEROUS PATREON SUPPORTERS WHO MAKE TWO MINUTE PAPERS POSSIBLE:
Andrew Melnychuk, Christian Lawson, Dave Rushton-Smith, Dennis Abts, e, Eric Swenson, Esa Turkulainen, Kaben Gabriel Nanlohy, Michael Albrecht, Michael Orenstein, Steef, Sunil Kim, Torsten Reil.
Two Minute Papers Merch:
US:
EU/Worldwide:
Music: Antarctica by Audionautix is licensed under a Creative Commons Attribution license (
Artist:
Thumbnail background image credit:
Splash screen/thumbnail design: Felícia Fehér –
Károly Zsolnai-Fehér’s links:
Facebook →
Twitter →
Web →
source
