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 763 followers
Last updated about 14 hours ago
about 14 hours ago
At a glance The Flash family extends GigaPath and GigaTIME with dramatically...
20 days ago
At a glance MindTopo is a new benchmark for testing topological reasoning...
12 days ago
At a glance Skala 1.1 demonstrates the continuously improving nature of Microsoft...
20 days ago
At a glance MindTopo is a new benchmark for testing topological reasoning...
21 days ago
Research Note: CARE-X is a research model and not a Microsoft product...
21 days ago
Research Note: CARE-X is a research model and not a Microsoft product...
29 days ago
At a glance Orchard is an open-source framework for scalable and cost-effective...
about 1 month ago
Scaling fidelity over sheer count, targeting the capabilities agents actually lack, and...
about 1 month ago
At a glance Self-supervised. EvoLib enables large language models to learn from...
2 months ago
At a glance LLM-based models can predict the human brain’s responses to...
about 2 months ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
about 2 months ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...