Quantum science could not only gain from machine learning techniques, it could be reshaped by them, writes Perimeter Institute researcher Roger Melko.

Quantum computers are expected to surpass the computational capabilities of classical computers during this decade, and achieve disruptive impact on numerous industry sectors, particularly finance. In fact, finance is estimated to be the first industry se... (more…)

We present an environment, benchmark, and deep learning driven automated theorem prover for higher-order logic. Higher-order interactive theorem provers enable the formalization of arbitrary mathematical theories and thereby present an interesting, open-e... (more…)

Over the last few years, Machine Learning has grown much faster than anyone could have imagined. People are rapidly starting to focus more and more on machine learning research which leads me to my… (more…)

Predictive technology can improve public policy — if we use it right.