By: Ahmed Awadallah, Sahil Gupta, Yash Lara, Yadong Lu, Hussein Mozannar, Akshay Nambi, Zach Nussbaum, Yash Pandya, Aravind Rajeswaran, Corby Rosset, Alexey Taymanov, Luiz do Valle, Vibhav Vineet, Spencer Whitehead, Andrew Zhao We are excited to introduce the Fara1.5 family…
MagenticLite, MagenticBrain, Fara1.5: An agentic experience optimized for small models
| Microsoft Research AI Frontiers
MagenticLite is an agentic system for small models that works across the browser and local file system in a single workflow. It combines specialized models and orchestration to support efficient agentic performance on everyday tasks.
Vega: Zero-knowledge proofs for digital identity in the age of AI
| Srinath Setty
Vega turns a full credential into a single proof, sharing only what is needed and nothing more, with performance that works in real apps.
In the news | Microsoft Source
Why better AI starts with the people it often misses
Ask an AI tool for a picture of “someone at work,” and you’ll often get a person at a desk, in front of a computer, maybe holding a coffee cup. When people with disabilities appear at all, the images sometimes…
Further Notes on Our Recent Research on AI Delegation and Long-Horizon Reliability
| Philippe Laban, Tobias Schnabel, and Jennifer Neville
Our recent paper, “LLMs Corrupt Your Documents When You Delegate”, has generated discussion about the reliability of AI systems in delegated workflows. We appreciate the interest in this work and want to clarify several important points about what the paper…
mimalloc: A new, high-performance, scalable memory allocator for the modern era
| Daan Leijen
mimalloc is an open-source, modern, scalable memory allocator that is a drop-in replacement for malloc and free. It is relatively small (~12K lines), with clear internal data structures, and is easy to build and integrate into other projects. It provides…
GridSFM: A new, small foundation model for the electric grid
| Weiwei Yang, Andrea Britto Mattos Lima, Thiago Vallin Spina, Spencer Fowers, and Baosen Zhang
Introducing GridSFM, a small foundation model that can predict AC optimal power flow in milliseconds, boosting efficiency and unlocking cost savings. Learn how GridSFM gives grid operators direct visibility into congestion, stability, and system health.
Advancing AI for materials with MatterSim: experimental synthesis, faster simulation, and multi-task models
| Andrew Fowler, Claudio Zeni, Daniel Zügner, Fabian Thiemann, Han Yang, Robert Pinsler, Shoko Ueda, and Kenji Takeda
MatterSim is expanding what AI can do for materials science—from faster large-scale simulations to MatterSim-MT, a new multi-task model for simulating properties beyond potential energy surfaces alone.
SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests
| Tyler Payne, Will Epperson, Safoora Yousefi, Zachary Huang, Gagan Bansal, Wenyue Hua, Maya Murad, Asli Celikyilmaz, and Saleema Amershi
Using SocialReasoning Bench, we observed a stable pattern across models—agents execute competently, but fail to consistently improve the user’s position, even with explicit instructions to optimize for user interest.