We share five steps on approaching machine learning from a business perspective that helped to build and scale our suite of machine learning products. (more…)

This paper reviews the recent literature on solving the Boolean satisfiability problem (SAT), an archetypal NP-complete problem, with the help of machine learning techniques. Despite the great success of modern SAT solvers to solve large industrial instan... (more…)

Let’s hack the world’s most popular Wordpress CAPTCHA Plug-in... (more…)

Machine learning research has advanced in multiple aspects, including model structures and learning methods. The effort to automate such research, known as AutoML, has also made significant progress. However, this progress has largely focused on the archi... (more…)

Let's figure out what digit is shown in an encrypted image without ever decrypting it. (more…)