Proof transfer for fast certification of multiple approximate neural networks.

Shubham Ugare Gagandeep Singh Sasa Misailovic

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

neural network
pattern recognition
real time
genetic algorithm
artificial neural networks
third party
exact solution
e learning
semi supervised
nearest neighbor
back propagation
theorem prover
multi layer
knowledge transfer