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