Microsoft Research
Microsoft Research introduces PDD Kit to verify agent-written web apps
Microsoft Research has introduced PDD Kit, a toolkit designed to formally verify code written by coding agents. It converts a developer’s intent into a formal…
Microsoft Builds Synthetic Companies to Test Copilot Without Customer Data
Microsoft Research has described the Industry Evaluation Data Generation Platform, a system that creates full-scale synthetic enterprise environments to evaluate…
Microsoft Research launches Flint-interactive for AI-built interactive charts
Microsoft Research has introduced Flint-interactive, a language that lets AI agents generate data visualizations users can explore by clicking, filtering, zooming and…
Top storyMicrosoft Researchers Resolve 31-Year-Old KLS Conjecture With Human-Directed AI
Microsoft Research says it has resolved the Kannan-Lovász-Simonovits (KLS) conjecture, a 31-year-old open problem in high-dimensional geometry. According to the company…
Harvard student uses machine learning to fix subseasonal weather forecasts
Hannah Guan, a fourth-year applied math concentrator at Harvard SEAS, helped develop a machine learning approach that corrects errors in existing weather models for…
Microsoft's StudentSim Simulates Individual Learners to Train AI Tutors
Microsoft Research has introduced StudentSim, a system that builds personalized simulators of individual students so AI tutors can be evaluated and trained before they…
Microsoft Research Intern Builds ML System to Forecast Space Weather Risk to Power Grids
A Microsoft Research intern has developed a machine learning system that forecasts space-weather risk for 66,935 substations in the continental United States, giving…
Microsoft Research unveils Quine, an AI system built for biology's complexity
Microsoft Research has introduced Quine, a research effort that pairs a multimodal world model of biology with an interactive harness linking models, scientific tools…