DeLesley Hutchins

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

Results 0 repositories owned by DeLesley Hutchins