Formal verification is a promising approach to eliminate bugs at compile time, before software ships. Unfortunately, verifying the correctness of system software traditionally requires heroic developer effort. In this project, we aim to enable accessible, faster,…
Technology to enable widespread availability of greenhouse gas data and insights Greenhouse gas (GHG) concentrations have continued to grow, fueling the climate crisis. Yet, measuring GHG emissions efficiently and at scale remains surprisingly elusive due…
Xiaoyu Chen†,♢, Junliang Guo†, Tianyu He†, Chuheng Zhang†, Pushi Zhang†, Derek Cathera Yang, Li Zhao†, Jiang Bian† †Microsoft Research, ♢Tsinghua University
“假如你有幸年轻时在巴黎生活过，那么你此后一生中不论去到哪里她都与你同在，因为巴黎是一席流动的盛宴。”这句话是大作家海明威写在《流动的盛宴》一书扉页上的题献。如果把“巴黎”替换成“微软亚洲研究院”，那么这句话或许也已镌刻在许多人的人生扉页上。 微软亚洲研究院的院友如今遍布全球，他们曾是MSR Asia的员工、实习生或访问学者。如今，他们或是活跃在中…
第69期 2024-06-30 第68期 2024-03-31 第67期 2023-12-31 第66期 2023-09-30 第65期 2023-06-30 第64期 2023-03-31 第63期 2022-12-31 第62期 2022-09-30 第61期 2022-06-30 第60期 2022-03-31
AI-agent-based tool for tuning and optimizing system prompts, and particularly those of Microsoft Copilot offerings. It is used to replace manual adaptation of prompts — requiring extensive human labor — in scenarios such as when…
In a Magician’s magical cabin alone in a serene forest, an alien walking on the floor, starting from the cabin’s door to the mow near the bottom right corner of this image. Four characters stood…
Guidance | Control LM outputs. Reduce latency and cost. Guidance is a proven open-source Python library for controlling outputs of any language model (LM). In only one API call, developers express in Python the precise…
A flexible 3D foundation model of the atmosphere. Aurora, developed by a team of Microsoft researchers, is a cutting-edge AI foundation model that can extract valuable insights from vast amounts of atmospheric data. This 1.3…
