Not registered as user yet

Name:Charlie Murphy
Affiliation:Princeton University

Contributions

MAPL 2017 Author of Verified Perceptron Convergence Theorem within the MAPL 2017-track