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 directly as they happen.
Follow now 752 followers
Last updated about 10 hours ago
about 10 hours ago
At a glance Orchard is an open-source framework for scalable and cost-effective...
4 days ago
Scaling fidelity over sheer count, targeting the capabilities agents actually lack, and...
4 days ago
At a glance Self-supervised. EvoLib enables large language models to learn from...
about 1 month ago
At a glance LLM-based models can predict the human brain’s responses to...
21 days ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
21 days ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
25 days ago
At a glance Aurora 1.5 is a major extension of Microsoft’s Aurora...
26 days 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,...
about 1 month ago
At a glance Today’s AI agents don’t remember past interactions. They must...
about 1 month ago
At a glance LLM-based models can predict the human brain’s responses to...
about 1 month ago
At a glance Talos is an open-source tool for automated, iterative reanalysis...