Posted by Nikhil Thorat and Daniel Smilkov, Software Engineers, Google Big Picture Team Machine learning (ML) has become an increasingly p... (more…)

I have longed for something new, something challenging for some time now and I decided to take on some courses about machine learning. I am... (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…)

Following an eventful week at NeurIPS 2019, I summarize some key trends in machine learning today. (more…)

Using artificial intelligence, a Stanford-led research team has slashed battery testing times – a key barrier to longer-lasting, faster-charging batteries for electric vehicles – by nearly fifteenfold. (more…)