As part of the general theme of Meeting Intelligence, we rewrite tasks and to-do items identified in meeting transcriptions so as to appear in a separate to-do list.
A free and open-source PoC tool for computer-assisted mathematics. It includes a comprehensive coverage of the language of mathematics and its standard foundations.
A free and open-source, minimalist implementation of pure logic programming. It is particularly suited as a meta-language, allowing the easy implementation of different formalisms.
I am a Principal Researcher at the Microsoft Search, Assistant and Intelligence organization, engaged in the research and development of artificial intelligence capabilities for Office 365. My main interests lie in solving hard problems in AI and in machine learning research. I specialize in the domain of natural language processing, including text understanding and text generation.
In my team, we deal with the entire model-development lifecycle: from data collection and data annotation; through model design, experimentation, model optimization, and responsible AI principles; to model evaluation and the continuous learning from user feedback. During recent years, I have worked in several of these areas. More recently, I am engaged in challenges in prompt engineering and large language models.
I hold a Ph.D. in Mathematics and Computer Science from the Weizmann Institute of Science in Israel, and a B.A. in Mathematics with Computer Science from the Technion – Israel Institute of Technology. Previous to Microsoft, I was a Research Staff Member at IBM Research. My professional interests include machine learning, artificial intelligence, natural language processing, and formal mathematics.
A few of my recent projects are available in the links (tiles) above.