Mathematics
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…
Our intern experience at Microsoft Research Cambridge
Find out what it’s like to be an intern at the Microsoft Research lab in Cambridge, UK. Find out more and apply at: https://aka.ms/MSRCambridgeIntern
Working at Microsoft Research Cambridge
Here at Microsoft Research in Cambridge, we truly aspire to transform the world through deep research. Watch the video to find out more about our culture, ambition and research themes. Find out more at: https://aka.ms/MSRCambridge
The inner magic behind the Z3 theorem prover
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in…
