Mathematics - Microsoft Research

Publication

A Prime-Generated Formalization of Nagata’s Factoriality Theorem in Lean 4

A. Ramos, R. D. Queiroz, A. Oliveira

April 2026

arXiv | April 2026

Publication

Quotient-Space Diffusion Model

Yixian Xu, Yusong Wang, Shengjie Luo, Kaiyuan Gao, Tianyu He, Di He, Chang Liu

ICLR 2026 | April 2026

Publication

Exergy-based pore-network optimization of gas diffusion layers for enhanced efficiency in proton exchange membrane fuel cells

Sa′ed Rawashdea, M. Almajali, Ahmed Salem, Akram E. Zeid, Nathan Kawansson, D. Paterson

ScienceDirect | April 2026

Publication

Clock systems for stochastic and non-deterministic categorical systems theories

Owen Lynch, David Jaz Myers, E. Rischel, Sam Staton

March 2026

arXiv | March 2026

Publication

Enabling ab initio geometry optimization of strongly correlated systems with transferable deep quantum Monte Carlo

P. Szab'o, Zeno Schatzle, Frank Noé

March 2026

arXiv | March 2026

Publication

Phased outcome-complete simulation

Vadym Kliuchnikov, A. Paetznick, M. Silva

March 2026

arXiv | March 2026

Publication

Clifford synthesis via generalized S and CZ gates

Vadym Kliuchnikov, M. Silva

March 2026

arXiv | March 2026

Publication

Modeling Adversarial Wildfires for Power Grid Disruption

M. Brun, Xin Sun, Jean-Paul Watson

March 2026

arXiv | March 2026

Publication

Rising Multi-Armed Bandits with Known Horizons

Seockbean Song, Chenyu Gan, Youngsik Yoon, Siwei Wang, Wei Chen, Jungseul Ok

ArXiv | February 2026, Vol abs/2602.10727

Publication

MM-SCALE: Grounded Multimodal Moral Reasoning via Scalar Judgment and Listwise Alignment

Eunkyu Park, Wesley Deng, Cheyon Jin, Matheus Kunzler Maldaner, J. Wheeler, Jason I. Hong, Hong Shen, Adam Perer, Kenneth Holstein, Motahhare Eslami, Gunhee Kim

ArXiv | February 2026, Vol abs/2602.03665