Former mathematician turned data scientist turned AI researcher, now at IBM Research. My passion is teaching AI systems to reason, especially in mathematics.