Verified perceptron convergence theorem.

Charlie Murphy Patrick Gray Gordon Stewart

Published in: MAPL@PLDI (2017)

Keyphrases

convergence theorem
rapid convergence
learning rate
learning algorithm
neural network
perceptron algorithm
feature selection
global optimization