Two Minute Papers - awesome research for everyone.
Curated by: Two Minute Papers (1003 videos)
The paper "Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks" is available here: https://arxiv.org/pdf/1702.01135.pdf Out Patreon page: https://www.patreon.com/TwoMinutePapers Earlier episodes that were showcased: pix2pix - https://www.youtube.com/watch?v=u7kQ5lNfUfg Breaking DeepMind's Game AI System - https://www.youtube.com/watch?v=QFu0vZgMcqk 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. https://www.patreon.com/TwoMinutePapers Two Minute Papers Merch: US: http://twominutepapers.com/ EU/Worldwide: https://shop.spreadshirt.net/TwoMinutePapers/ Music: Antarctica by Audionautix is licensed under a Creative Commons Attribution license (https://creativecommons.org/licenses/by/4.0/) Artist: http://audionautix.com/ Thumbnail background image credit: https://pixabay.com/photo-2072618/ Splash screen/thumbnail design: Felícia Fehér - http://felicia.hu Károly Zsolnai-Fehér's links: Facebook → https://www.facebook.com/TwoMinutePapers/ Twitter → https://twitter.com/karoly_zsolnai Web → https://cg.tuwien.ac.at/~zsolnai/