Can maintaining machine learning in production be easier? I go through some practical tips. (more…)
Read more »
Teaching computers to read was one of the 20th century's great challenges. At first, the secret to optical character recognition was purpose-built type. (more…)
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 »
MIT IAP short course: Matrix Calculus for Machine Learning and Beyond - mitmath/matrixcalc... (more…)
Read more »
Our effort to strengthen the foundations of African machine learning, and to increase the participation of African researchers in the field... (more…)
Read more »