Reluplex made more practical: Leaky ReLU.

Jin Xu Zishan Li Bowen Du Miaomiao Zhang Jing Liu

Published in: ISCC (2020)

Keyphrases

real world
neural network
data mining
genetic algorithm
high quality
multi agent
data streams
object recognition
practical application