Charles E Staats (Preferred)
Charles E Staats
Software engineer, Google
Joined
May 2021
Names
Emails
****@google.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
software engineer
Google (google.com)
2015 – Present
PhD student
University of Chicago (math.uchicago.edu)
2008 – 2014
Undergrad student
Duke University (duke.edu)
2004 – 2008
Advisors, Relations & Conflicts
PhD Advisor
Madhav Nori
2009 – 2014
Expertise
autoformalization
, automated theorem proving
, deep learning
Present
large language models
, retrieval
, memory
Present
adversarial examples
, out-of-distribution
Present