How to use softmax activation funciton for output layer

[yuanggeng]

I found you have all kinds of the activation funtions such as tanh, relu, and sigmoid. But there is no softmax function. So, we cannot verify the NN with the softmax activation function, right. Thank you.

[langkymus]

The technique works for any continuous (but not necessarily differentiable) activation function including softmax. Btw, we are no longer actively maintaining ReachNN*. Our latest tool for NNCS reachability analysis is POLAR: https://github.com/ChaoHuang2018/POLAR_Tool