I work on the n2formal team at Google Research, doing work on language models for proof and program synthesis.
-
Google
- San Jose, CA
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops
@meta-introspector New Jersey
EnterStudios
enterstudio
Enter Inventive Studios Inc is a web services and technology provider with an active focus in adopting open source philosophy
@EnterStudios @Shasthojoy
Enter Inventive Studio Dhaka
ypersyntelykos
ypersyntelykos
Twitter : @ypersyntelykos
Linkedin : https://www.linkedin.com/in/ypersyntelykos/
Athens, Greece
Jan Vajda Attorney at Law Namestovo, Slovakia, Europe
janvajda
Jan Vajda Attorney at Law Namestovo, Slovakia, Europe Slovakia, Europe