Skip to content
K = 0.731
2026.10.17 · Sat

#Microsoft

#Microsoft

Research

Research papers, technical reports, benchmarks and datasets.

10/16Fri
  1. Microsoft Research79

    Microsoft Research presents Magnetar for proof-based general-purpose computing

    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.

10/13Tue
  1. Microsoft Research65

    Simulating student learning for better AI tutoring

    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.

10/4Sun
  1. Hugging Face Blog71

    Microsoft's ThinkingBox agent benchmark checks final database state, not tool calls

    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.

9/24Thu
  1. Microsoft Research62

    Microsoft Research: offloading physical-AI inference from robots can improve task performance and battery life

    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.

8/21Fri
  1. Hugging Face Blog60

    Hugging Face research measures benchmark optimization in speech recognition

    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.

7/31Fri
  1. Microsoft Research71

    Microsoft Research releases Echoverse, an evolving training environment for computer-use agents

    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.

You've reached the end