Not registered as user yet

Name: Charlie Murphy

Affiliation: Princeton University

Contributions

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