Google San Jose, CA I work on the n2formal team at Google Research, doing work on language models for proof and program synthesis.
DeLesley Hutchins