Microsoft Research Lab - Asia - Microsoft Research: Publications

Publication

Image as a World: Generating Interactive World from Single Image via Panoramic Video Generation

Dongnan Gui, Xun Guo, Wengang Zhou, Yan Lu

NeurIPS 2025 | November 2025

Publication

NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning

Yue Fang, Shaohan Huang, Xin Yu, Haizhen Huang, Zihan Zhang, Weiwei Deng, Furu Wei, Feng Sun, Qi Zhang, Zhi Jin

EMNLP 2025 | November 2025

Publication

Co-Evolving Latent Action World Models

Yucen Wang, Feng Zhang, De-Chuan Zhan, Li Zhao, Kaixin Wang, Jiang Bian

ICML 2026 | October 2025

Publication

AVA: Towards Agentic Video Analytics with Vision Language Models

Yuxuan Yan, Shiqi Jiang, Ting Cao, Yifan Yang, Qianqian Yang, Yuanchao Shu, Yuqing Yang, Lili Qiu

23rd USENIX Symposium on Networked Systems Design and Implementation (NSDI’26)) | October 2025

Publication

AESCoder: Code Aesthetics with Agentic Reward Feedback

Lingjie Jiang, Bang Xiao, Shaohan Huang, Tengchao Lv, Yupan Huang, Xun Wu, Lei Cui, Furu Wei

ICLR 2026 | October 2025

Publication

Language Ranker: A Lightweight Ranking framework for LLM Decoding

Chenheng Zhang, Tianqi Du, Jizhe Zhang, Mingqing Xiao, Yifei Wang, Yisen Wang, Zhouchen Lin

NeurIPS 2025 | October 2025

Publication

Seeing Across Views: Benchmarking Spatial Reasoning of Vision-Language Models in Robotic Scenes

Zhiyuan Feng, Zhaolu Kang, Qijie Wang, Zhiying Du, Jiongrui Yan, Shubin Shi, Chengbo Yuan, Huizhi Liang, Yu Deng, Qixiu Li, Rushuai Yang, Arctanx An, Leqi Zheng, Weijie Wang, Shawn Chen, Sicheng Xu, Yaobo Liang, Jiaolong Yang, Baining Guo

ICLR 2026 | October 2025

Publication

Indispensable CPU-centric Checkpointing for GPUs

Junzhe Li, Ran Shu, Ziyue Yang, Shuotao Xu, Chenxiong Qian, Yongqiang Xiong

APSys | October 2025

Publication

DocReward: A Document Reward Model for Structuring and Stylizing

Junpeng Liu, Yuzhong Zhao, Bowen Cao, Jiayu Ding, Yilin Jia, Tengchao Lv, Yupan Huang, Shaohan Huang, Nan Yang, Li Dong, Lei Cui, Tao Ge, Xun Wang, Huitian Jiao, Sun Mao, Fnu Kartik, Siqing Chen, Wai Lam, Furu Wei

October 2025

Publication

AutoVerus: Automated Proof Generation for Rust Code

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025

Distinguished Artifact Award

Github Project