Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for…
Tag: Microsoft Research
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question,…
Called to serve: Tech, research, and positive impact
Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for…
Proof-based general-purpose computing with Magnetar
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream…
Proof-based general-purpose computing with Magnetar
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream…
Simulating student learning for better AI tutoring
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage…
Simulating student learning for better AI tutoring
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage…
Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses
Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks.…
What AI gets wrong and what failure teaches us
Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her…
Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses
Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks.…