I’m an AI researcher, formerly a mathematician and data scientist, currently at IBM Research. My passion is teaching AI systems to reason, especially in mathematics.