NeuroSAT An AI That Learned Solving Logic Problems

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=luwP75lPExo

❤️ This video has been kindly supported by my friends at Arm Research. Check them out here! - http://bit.ly/2TqOWAu • 📝 The paper Learning a SAT Solver from Single-Bit Supervision is available here: • https://arxiv.org/abs/1802.03685 • 🙏 We would like to thank our generous Patreon supporters who make Two Minute Papers possible: • 313V, Alex Haro, Andrew Melnychuk, Angelos Evripiotis, Anthony Vdovitchenko, Brian Gilman, Bruno Brito, Christian Ahlin, Christoph Jadanowski, Claudio Fernandes, Dennis Abts, Eric Haddad, Eric Martel, Evan Breznyik, Geronimo Moralez, Javier Bustamante, John De Witt, Kaiesh Vohra, Kasia Hayden, Kjartan Olason, Levente Szabo, Lorin Atzberger, Marcin Dukaczewski, Marten Rauschenberg, Maurits van Mastrigt, Michael Albrecht, Michael Jensen, Morten Punnerud Engelstad, Nader Shakerin, Owen Campbell-Moore, Owen Skarpness, Raul Araújo da Silva, Richard Reis, Rob Rowe, Robin Graham, Ryan Monsurate, Shawn Azman, Steef, Steve Messina, Sunil Kim, Thomas Krcmar, Torsten Reil, Zach Boldyga, Zach Doty. • / twominutepapers • Image an article sources: • SAT: https://www.geeksforgeeks.org/2-satis... - Source: GeeksforGeeks • NP-Completeness: https://en.wikipedia.org/wiki/List_of... • Neural network image source: https://en.wikipedia.org/wiki/File:Ne... • Splash screen/thumbnail design: Felícia Fehér - http://felicia.hu • Károly Zsolnai-Fehér's links: • Facebook: / twominutepapers • Twitter: / karoly_zsolnai • Web: https://cg.tuwien.ac.at/~zsolnai/

#############################

New on site