Exploratory project to decontextualize (rewrite) tasks identified in meeting transcriptions. We build upon pretrained seq2seq transformer models, and modern techniques such as multi-task learning, and touch upon unresolved…
Free and open-source tool for computer-assisted mathematics. `mai` includes a comprehensive coverage of the language of mathematics and its ‘standard’ foundations. It is implemented as a set of…
Free and open-source implementation of the minimalist language of Horn clauses. `horc` particularly shines as a meta-language: it turns textbook definitions of formal systems, expressed as a set…
Microsoft-internal.
I am a Principal Researcher at the Microsoft Search, Assistant and Intelligence group. At Microsoft, I am engaged in the research and development of machine learning technology and artificial intelligence capabilities for the Microsoft 365 application suite. I specialize in delivering end-to-end solutions to challenging natural language processing problems (text understanding and text generation): from the design and analysis of data annotation tasks, through model development and model compression, to model evaluation and the continuous learning from user feedback.
I hold a Ph.D. in Mathematics and Computer Science from the Weizmann Institute of Science in Israel. Previous to Microsoft, I was a Research Staff Member at IBM Research. My research interests include machine learning, artificial intelligence, natural language processing, formal methods, and formal mathematics.
More information:
A few of my recent projects are available in the links (tiles) above.
