Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Video
KDD ’25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection
https://ai-reasoning.github.io/ AI models are increasingly capable of solving sophisticated tasks that require reasoning. But how do we improve the quality of that reasoning, especially when the models operate as black boxes? In this talk, Sumit…
Project
Agent-Pex: Automated Evaluation and Testing of AI Agents
Automated evaluation and testing of AI agents AI agents are rapidly transforming software, with projections of over a billion agents in operation by 2028. These agents, embedded in products like VS Code and M365 Copilot,…
Project
GridFM
Small foundation models for the electric grid GridFM is a Microsoft Research initiative to build small foundation models for the electric power grid, applying the same recipe that drives modern language and weather models to…
Video
Anaximander: Interactive Orchestration and Evaluation of Geospatial Foundation Models
Geospatial Foundation Models – deep learning architectures trained on large-scale Earth observation and remote sensing data – have proved useful for object detection, semantic segmentation, and other prediction tasks on geospatial and geographic data. However,…
Tool
OptiMind
OptiMind-SFT is a specialized 20B parameter model designed to bridge the gap between natural language and executable optimization solvers. It automates the translation of complex decision-making problems—such as supply chain planning, scheduling, and resource allocation—into…