Summary: This post – part of a series about Machine Learning (ML) and verification – discusses the hard problem of verifying ML-based systems, and how “Explainable AI” might help. I can think of three interesting topics whose title contains both “ML” and “verification”: Verifying ML-based systems Using a verification infrastructure to train ML-based systems Using … More Machine Learning verification and Explainable AI
Whatever you think of my Stuttgart symposium trip report, at least I made the effort to attend it and report back. In this post I sink even lower, reporting from a conference I did not attend – the ICRA workshop on verification of autonomous systems. I did, however, watch the full 4.5 hour video (warning: … More The ICRA 2016 verification workshop
Summary: This post will dig into the verification challenges of autonomous systems, and especially into the challenge of verifying those which use machine learning. This post will discuss the verification of Intelligent Autonomous Systems (IAS) which have to interact with people and the outside world. Examples are AVs, UAVs, and autonomous robots of various kinds. … More Verification challenges of autonomous systems
“Misc. stuff” posts will appear periodically. They will contain, well, miscellaneous [1] stuff – mainly links to papers and discussions which might be interesting to readers of this blog. For each, I’ll try to explain why it is relevant [2]. Hacker News and this blog My spec bugs post made it to the first page … More Misc. stuff – HN, machine learning and Jupyter