photo of the Redmond lab building entrance

Microsoft Research Lab – Redmond

新闻与深度文章

A still image shows a designed high-fidelity simulation with the ability to control causal structure.
微软研究院博客

| Daniel McDuff, Yale Song, Sai Vemprala, Vibhav Vineet, Shuang Ma, 和 Ashish Kapoor

The ability to reason about causality, a…

奖项 | PLDI 2021 Conference

Ben Zorn awarded SIGPLAN Distinguished Service Award 2021 

Ben Zorn was honored with the SIGPLAN Di…

新闻报道 | BigThink

Will AI replace mathematicians? 

If computers can beat us at chess, maybe…

新闻报道 | Nature

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory 

Proof-assistant software handles an abst…

Diagram: The proposed SOLOIST model architecture and training objectives. Dialog history, Belief state, DB state, and Response make up the pipeline. Task 1, belief state prediction, corresponds with belief state. Task 2 and Task 3, grounded response generation and contrastive objective correspond with response. A user is shown thinking a goal, which points from the dialog history to the user (response), and then back to dialog history (input). Belief state points down to an image of a computer server (Belief state query) and then back to DB State (DB state results). The server points to readouts labeled “entity.”
微软研究院博客

| Baolin Peng, Chunyuan Li, Jinchao Li, Lars Liden, 和 Jianfeng Gao

The increasing use of personal assistant…

A chart showing a GAN comparing fake images with real images, filtering them through a discriminator to produce a value indicating how fake the image is.
微软研究院博客

| Zeyuan Allen-Zhu 和 Yuanzhi Li

A Generative adversarial network, or GAN…

奖项 | A Taxonomy of Sounds in Virtual Reality

Best Paper, ACM Designing Interactive Systems (DIS2021) 

新闻报道 | Microsoft Research Website

Dhruv “DJ” Jain awarded 2021 Microsoft Research Dissertation Grant 

Dhruv “DJ” Jain (opens in new tab), an i…

A graphic depicting audio and video content items passing through an audio transformer layer and a video transformer layer, respectively, before being combined while passing through a multimodal transformer layer
微软研究院博客

| Yale Song

Understanding video is one of the most c…