Mathematics
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…
Robust, adaptive, modular ML | Montreal
We aim at understanding the principles underpinning learning and generalization, to build reliable AI systems that can learn more efficiently from available data, intelligently gather additional relevant data, and quickly adapt to and reason about…
Lightning talks: Empowering mathematicians with technology
Digitization of mathematics is a nascent concept. Historically, technical achievements have been gatekept by peer validation, keeping the upper most levels of the field exclusive and causing a trust bottleneck in novel explorations. Microsoft Research’s…
Research Summit 2022
Microsoft Research Summit 2022, held October 18-20, 2022, explores what’s next for technology and humanity.
