The world’s first neuromorphic supercomputer is moving closer to reality after researchers at Sandia National Laboratories ...

Abstract: In this paper, we incorporate a local search procedure into a micro differential evolution algorithm MED with the aim of solving the HappyCat function. Our purpose is to find out if our ...

Abstract: Many safety-critical applications of neural networks, such as robotic control, require safety guarantees. This article introduces a method for ensuring the safety of learned models for ...