Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feedermicrosoft.com
Microsoft Research
Get the latest updates from Microsoft Research directly as they happen.
Follow now 749 followers
Latest posts
Last updated 3 days ago
Understanding the brain with AI-driven explanations and experiments
25 days ago
At a glance LLM-based models can predict the human brain’s responses to...
Verifying Rust cryptography in SymCrypt, from standards to code
7 days ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
Verifying Rust cryptography in SymCrypt, from standards to code
7 days ago
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification...
Aurora 1.5: Extending open foundation models for weather and Earth-system applications
11 days ago
At a glance Aurora 1.5 is a major extension of Microsoft’s Aurora...
Flint: A visualization language for the AI era
12 days ago
At a glance Polished charts from simple specs. Flint allows AI agents...
SkillOpt: Agent skills as trainable parameters
20 days ago
At a glance AI agents often fail because their instructions, or skills,...
Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity
21 days ago
At a glance Today’s AI agents don’t remember past interactions. They must...
Understanding the brain with AI-driven explanations and experiments
25 days ago
At a glance LLM-based models can predict the human brain’s responses to...
Talos: Scaling rare disease diagnosis with automated, iterative genomic reanalysis
26 days ago
At a glance Talos is an open-source tool for automated, iterative reanalysis...
Ire identifies another LOTUSLITE specimen
about 1 month ago
At a glance Project Ire identifies a LOTUSLITE variant that shares TTPs...
SocialReasoning-Bench: Measuring whether AI agents act in users??? best interests
2 months ago
At a glance AI agents are moving into social contexts. When agents...
Data Formulator 0.7: AI-powered data analytics for enterprise data
about 2 months ago
At a glance Data Formulator 0.7 is an open-source AI-powered system for...