Mathematics
Microsoft Research Colloquium
The Microsoft Research Colloquium at Microsoft Research New England focuses on research in the foundational aspects of computer science, mathematics, economics, anthropology, and sociology. With an interdisciplinary flavor, this colloquium series features some of the…
mai: mathematics interpreter with standard foundations
mai is a free and open-source tool for computer-assisted mathematics (opens in new tab). It includes a comprehensive coverage of the language of mathematics and its ‘standard’ foundations; namely, first-order logic (opens in new tab) and the Zermelo–Fraenkel axioms (opens…
horc: lightweight Horn-clause interpreter
horc is a free and open-source tool for programming with Horn clauses (opens in new tab). Horn clauses are the core of Prolog (opens in new tab) and logic programming (opens in new tab) in general. horc is an extension to Prolog’s interpreter…
Abstraction in Reinforcement Learning
Reinforcement Learning (RL) agents must learn to make useful decisions through action and observation alone. To be effective problem solvers, RL agents must efficiently explore vast environments, assign credit from delayed feedback, and generalize to…
Swiss Joint Research Center Workshop 2020
The 7th annual workshop of the Swiss Joint Research Center, a collaborative engagement between Microsoft Research and ETH Zurich and EPFL, took place January 29-30, 2020 at EPFL in Lausanne. Each of the twelve project teams…
MSR Cambridge Lecture Series: Photonic-chip-based soliton microcombs
Photonic-chip-based soliton microcombs, Prof Tobias Kippenberg Optical frequency combs provide equidistant markers in the IR, visible and UV and have become a pivotal tool for frequency metrology and are the underlying principle of optical atomic…
