Mathematics
Advancing the mathematical foundations that drive breakthroughs across computing, AI, and the sciences.
Research Focus: Week of April 24, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Yael Tauman Kalai, a senior principal researcher at…
Lean
Lean is a functional programming language and interactive theorem prover. Our project strives to revolutionize mathematics by empowering anyone with an interest to grow in the field using Lean as their assistant. Lean was developed…
ML robuste, adaptatif et modulaire | Montréal
Notre objectif est de comprendre les principes qui sous-tendent l’apprentissage et la généralisation, afin de créer des systèmes d’IA fiables capables d’apprendre plus efficacement à partir des données disponibles, de collecter intelligemment des données pertinentes…