Meeting Intelligence: Task Rephrasing
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.
'mai': MAth Interpreter with standard foundations
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.
'horc': lightweight HORn-Clause interpreter
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.
Find me on Who+ / Teams
Microsoft-internal.
About
I am a Principal Researcher at the Microsoft Search, Assistant and Intelligence organization. In my role, I am engaged in research and development of artificial intelligence and machine learning technology for Office 365. My main interests lie in building innovative AI solutions and machine learning research. I specialize in natural language processing, particularly text generation, and foundation models.
In my team, we deal with the entire model-development lifecycle: from data collection and annotation; through model design and optimization; to model evaluation, responsible AI, and incorporating user signals. More recently, I am engaged in challenges in large language models, prompt design, and in-context learning.
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 fields of interest include machine learning, artificial intelligence, natural language processing, and digital mathematics.
More information:
A few of my recent projects are available in the links (tiles) above.