Research papers, technical reports, benchmarks and datasets.
In Nature this week, Satya Nadella says his organization’s new research shows how machine learning can improve weather forecasts two to six weeks out, a timeframe that has historically been very difficult to predict. He highlights the work’s potential to help people better prepare for extreme weather.
Microsoft Research presents Magnetar, a zero-knowledge virtual machine that proves RISC-V program execution using security based only on standard hash functions. It supports programs written in Rust, Go, or C without requiring developers to rewrite them as cryptographic circuits. Across 15 benchmark programs, Microsoft reports average speeds 10 to 39 times faster than the fastest existing comparable zkVMs on the same machine, with proofs verified in about 12 milliseconds.
Why it matters: The benchmark comparisons connect proving speed with general-purpose execution and standard hash functions, clarifying the tradeoffs that have limited broader adoption of verifiable computing.
Microsoft researchers and collaborators published research in Nature on Probabilistic Bias Correction (PBC), an open-source machine learning tool that corrects systematic bias in existing weather models to improve forecasts two to six weeks ahead. In the study, PBC improved ECMWF’s physics-based model accuracy for 98 percent of precipitation and 92 percent of temperature targets, and doubled the accuracy of its AI forecasting system. The tool can run on CPUs, though ECMWF cautioned that operational implementation remains challenging.
Microsoft Research introduces StudentSim, a research system that trains personalized student simulators from publicly available, de-identified learner records to evaluate and improve AI tutors. StudentSimEval measures behavioral fidelity and guidance responsiveness across chess, second-language English writing, and mathematics, where StudentSim outperforms leading baselines. In a chess tutor study, training with StudentSim feedback achieves 90.5% accuracy versus 75.7% without reinforcement learning and 71.6% with GPT-5.4 feedback; real learner studies remain essential, and the paper and code are publicly available.
Why it matters: Evaluating both a simulated learner’s starting ability and response to guidance offers a concrete method for assessing tutor feedback beyond the correctness of an explanation.
A Microsoft Research study reports that Fork-and-Flush helps long-running AI research agents explore better solutions by creating parallel branches that retain workspace files but discard chat history. Across 13 tasks with the same compute budget, it achieved a min-max-normalized average score of 0.78, versus 0.47 for single runs and 0.54 for best-of-4. The researchers found that accumulated context can trap agents in similar approaches, even when conversation histories are periodically compressed.
GitHub released ReviewBench, an open offline benchmark for AI code-review agents, based on the distribution of 103.9 million GitHub pull requests. Its corpus contains 219 pull requests from 187 open-source repositories in 19 languages.
The Microsoft Copilot Studio team and Hugging Face jointly released ThinkingBox. It runs agents in isolated MCP tool sessions and then performs executable checks on final backend state and side effects, rather than judging only the final reply or whether tool calls were allowed.
Why it matters: The agent benchmark from Microsoft and Hugging Face uses 507 stateful workflows and 20 repeated runs, shifting the focus from tool calls to the final database state.
Microsoft Research developed an end-to-end machine-learning pipeline that uses L1 solar-wind observations and AE and Dst indices to generate localized space-weather risk estimates 30 to 60 minutes ahead for 66,935 substations in the contiguous United States.
Microsoft Research systematically measured mobile-robot manipulation workloads and found that moving physical-AI inference from an onboard GPU to an edge or cloud GPU can improve task performance and extend battery life.
Why it matters: Microsoft Research measured robot inference workloads and reports performance and battery-life data for offloading inference from onboard hardware to edge or cloud GPUs.
Microsoft has published RetroChimera, a retrosynthesis-prediction framework, in Nature and open-sourced its implementation and weights. It combines the Transformer model R-SMILES 2 with the GNN model NeuralLoc, using a learned ensemble to rerank their predictions and performing strongly on both common and rare reaction types. In blind tests, chemists preferred its single-step reaction predictions. It found complete routes for nine of ten challenging targets, compared with five for a de novo model, four for an editing model, and two for NeuralSym.
Hugging Face has published research measuring benchmark optimization in speech recognition through three tests: consensus disagreement, masked-entity retrieval, and spelling switches. The study evaluates 11 open-source ASR models.
Why it matters: The study presents three reproducible probes and quantifies how often ASR models reproduce incorrect benchmark transcripts, with direct implications for evaluation design.
Microsoft Research has released Skala 1.1, a deep-learning DFT functional trained on 2.5 times as much data as the previous public version. It ranks first in 32 of the 55 GMTKN55 benchmark categories, with a weighted mean error of 2.8 kcal/mol. The release is available in CP2K and is being integrated into Psi4, FHI-aims, ORCA, and VASP. Microsoft has also introduced a living benchmark that tracks computational performance across versions.
Microsoft Research has introduced MindTopo, a benchmark for topological reasoning in multimodal LLMs. It covers connectivity, separation, ordering, containment, and knot relations, across static reasoning and interactive planning. Current models are substantially better at static recognition than interactive planning, but both remain far below human performance; failures occur more often in planning than perception. Image and video generation helps only when topology is preserved within a single frame and remains unreliable across multi-step operations.
Microsoft Research has released CARE-X, a research model and unified chest X-ray vision-language model that can generate reports, make structured diagnostic predictions, and localize lesions. It uses reinforcement learning (DAPO) to reward clinical correctness across multiple tasks.
Microsoft Research has introduced Echoverse, a set of 12 training worlds for computer-use agents: 10 full-domain environments and two capability environments. Each consists of an application, tasks, and a database-based verifier.
Why it matters: Microsoft Research has released 12 computer-use-agent training environments with verifiers and reports comparisons of transfer performance between deep and shallow environments.
