We introduce a machine learning approach to model checking temporal logic, with
application to formal hardware verification. Model checking answers the question of whether …

Neural network verification is a new and rapidly developing field of research. So far, the
main priority has been establishing efficient verification algorithms and tools, while proper …

Providing continuous electric power supply to consumers is difficult for power system
engineers due to various faults in transmission and distribution systems. Precise fault …

Capsule Networks (CapsNets) are a class of neural network architectures that can be used
to more accurately model hierarchical relationships due to their hierarchical structure and …

In this article, we propose a circuit to imitate the behavior of a Reward-Modulated spike-
timing-dependent plasticity synapse. When two neurons in adjacent layers produce spikes …

When validated neural networks (NNs) are pruned (and retrained) before deployment, it is
desirable to prove that the new NN behaves equivalently to the (original) reference NN. To …

In essence, an abnormal increase of brain cells is referred to as a brain tumor. Tumors come
in two varieties: benign (non-cancerous) and malignant (cancerous). Cancerous tumors can …

Generative Adversarial Networks (GANs) have marked a revolutionary turning point in
image generation, providing a robust foundation for creating high-quality synthetic images …