Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feedermicrosoft.com
Get the latest updates from Microsoft Research News and Highlights directly as they happen.
Follow now 99 followers
Last updated 1 day ago
1 day ago
At a glance MindTopo is a new benchmark for testing topological reasoning...
2 days ago
Research Note: CARE-X is a research model and not a Microsoft product...
2 days ago
Research Note: CARE-X is a research model and not a Microsoft product...
10 days ago
At a glance Orchard is an open-source framework for scalable and cost-effective...
14 days ago
Scaling fidelity over sheer count, targeting the capabilities agents actually lack, and...
14 days ago
At a glance Self-supervised. EvoLib enables large language models to learn from...
about 2 months ago
At a glance LLM-based models can predict the human brain’s responses to...
about 1 month ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
about 1 month ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
about 1 month ago
At a glance Aurora 1.5 is a major extension of Microsoft’s Aurora...
about 1 month ago
At a glance Polished charts from simple specs. Flint allows AI agents...
about 1 month ago
At a glance AI agents often fail because their instructions, or skills,...