I work on the n2formal team at Google Research, doing work on language models for proof and program synthesis.
-
Google
- San Jose, CA
Earned achievements
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading