'I work at the intersection of machine learning and logic. Logic helps us understand AI: by describing what a model does in logical terms, we can make it more explainable and more likely to generalize. AI helps us do logic: whether solving a crossword or writing a mathematical proof, we want models we can trust to follow the rules.'