There are going to be millions of surprising applications of Machine Learning in coming years and decades, but I believe I've found one of the biggest ones...
Read 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…)
Read more »
Machine learning and Deep Learning Day Boston 2020 will take place on February 14, 2020 at 1 Snyder Drive, Babson Park, MA 02457, USA. Find out more about Machine learning and Deep Learning Day Boston 2020 and discover the best upcoming hand-picked events... (more…)
Read more »
Scaling the performance of machine learning frameworks so they can train larger neural networks – or so the same training a lot faster – has meant that the... (more…)
Read more »
Thoughts on NLP's Rapid Growth as a super popular domain in Machine Learning... (more…)
Read more »