Not registered as user yet

Name:Lawrence Saul
Affiliation:University of California, San Diego

Contributions

MAPL 2020 Author of Generating Correctness Proofs with Neural Networks within the MAPL-track