search

JmfanBU / ReachNNStar

Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
Other
17 stars 4 forks source link

How to use softmax activation funciton for output layer #14

Open yuanggeng opened 1 year ago

yuanggeng commented 1 year ago

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 commented 1 year ago

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