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…)
Read more »
The next generation of video game characters could be powered by AI, making them more engaging and challenging. (more…)
Read more »
Experts at the Table: It's not as accurate as simulation, but it's a lot faster. (more…)
Read more »
My previous post on summarising 57 research papers turned out to be quite useful for people working in this field, so it is about time… (more…)
Read more »
Comparing 5 popular neural net architectures on iOS: VGG16, ResNet50, InceptionV3, GoogleNet, and SqueezeNet using PyTorch... (more…)
Read more »