Login / Signup
Incremental Verification of Fixed-Point Implementations of Neural Networks.
Luiz H. Sena
Erickson H. da S. Alves
Iury Bessa
Eddie B. L. Filho
Lucas C. Cordeiro
Published in:
CoRR (2020)
Keyphrases
</>
fixed point
neural network
cellular neural networks
sufficient conditions
model checking
artificial neural networks
dynamical systems
bargaining solution
back propagation
floating point
belief propagation
free energy
radial basis function
activation function
competitive learning