Charles E Staats (Preferred)
Charles E Staats
- Joined May 2021
Names
Emails
****@google.com (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Education & Career 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