Livestream powered by baiosphere – the bavarian ai networkHow could machines learn as efficiently as humans and animals? How could machines learn to reason a... (more…)

Can you predict the levels of smog in your city using machine learning? We gave it a try by building an app. The results were surprising. (more…)

It all started after I read a paper by Gur Huberman from Columbia titled “Contagious Speculation and a Cure for Cancer: A Non-Event that… (more…)

We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tool... (more…)

In November of 2016, engineering researchers Xiaolin Wu and Xi Zhang posted an article entitled “Automated Inference on Criminality using Face Images” to a widely used online repository of research papers known as the arXiv. In their article, Wu and Zhan... (more…)