Test-time verification for AI agents: New from Microsoft Research #ai #agenticai #verification
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT
485
32
AI that runs your repo in GitHub : New from Microsoft Research #ai #agenticai #github #workflow
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT
929
34
AI that runs your repo in GitHub : New from Microsoft Research #ai #agenticai #github #workflow
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT
888
24.3
Test-time verification for AI agents: New from Microsoft Research #ai #agenticai #verification
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT
807
89.3
New tools, models, repos, and papers out of Microsoft Research are here. #ai #llm #github #agenticai
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT
2 278
58
New tools, models, repos, and papers out of Microsoft Research are here.
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT Microsoft Research Forum is a virtual
2 207 545
40880
New tools, models, repos, and papers out of Microsoft Research are here.
Register to know when there are new releases out of MSR: microsoft.com/en-us/research/event/microsoft-research-forum/?OCID=MSR_Researchforum_YT
226
Guiding the AI disruption to the Good Place
The true impact of AI does not lie in how well it takes tests or surfs the web, but in how effectively it teaches, coordinates, and operates in a web built for agents rather than humans.
239
New fine-tuning of language models: Match meaning, not tokens
Language models are usually trained to predict the next word, but that does not always lead to the best overall answers.
283
Introducing Interwhen: Steering reasoning agents with real-time verification
What if AI agents could check their work as they go? This verification method extracts verifiable properties from natural language and evaluates them using symbolic or model-based verifiers.
156
Introducing GitHub Agentic Workflows: AI that runs your repo
What if your repo could run itself? GitHub Agentic Workflows bring AI agents directly into repository automation, enabling tasks to run end-to-end inside GitHub Actions.
527
24.8
MagenticLite: A full-stack agentic experience powered by Small Models
What if you could run a capable AI agent without leaning on frontier-scale models?
491
11.3
Microsoft Research Forum | Season 2, Episode 4
Microsoft Research Forum is a virtual series highlighting purposeful research and its real-world impact, from fundamental exploration to advancing AI responsibly, scaling innovation through products
432
10.7
Language-Agnostic Detection of Bugs in Zero-Knowledge Proof Programs
Host: Greg Zaverucha, Microsoft Research Speaker(s): Arman Kolozyan, Max Planck Institute for Security and Privacy Zero-knowledge proofs (ZKPs) allow a prover to convince a verifier of a
375
9.3
Language & Voice AI for Africa: From Data to Deployment and Impact
This seminar explores how language and voice AI systems can be built and scaled for African contexts—from community-driven data collection and multilingual foundation models to robust deployment and
179
Storycaster: An AI System for Immersive Room-based Storytelling (CHI 2026)
Storycaster transforms physical rooms into responsive storytelling environments using generative AI techniques.
1 034
9.7
Can we AI our way to a more sustainable world?
Doug Burger, sustainability expert Amy Luers, and optimization researcher Ishai Menache examine the global emissions implications of datacenter operations, efficiency gains, and AI's potential
458
9.8
Microsoft Transforms its Cloud Supply Chain with Optimization and Generative AI
Microsoft transformed its cloud supply chain with the Intelligent Fulfillment Service (IFS), a breakthrough platform that combines machine learning, mathematical optimization, and generative AI.
664
8.9
Ideas: Steering AI toward the work future we want
Microsoft Chief Scientist Jaime Teevan and researchers Jenna Butler, Jake Hofman, and Rebecca Janssen unpack the New Future of Work Report 2025 and explore the ideal AI-driven working world.
514
9.7
Will machines ever be intelligent?
Technical advances are moving at such a rapid pace that it can be challenging to define the tomorrow we’re working toward.
1 308
13.3
OptiMind: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github #slm
Register for the series: aka.ms/researchforum-register
2 250
10.1
ARO: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github
Register for the series: aka.ms/researchforum-register
609
18.1
HealthBots: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github
Register for the series: aka.ms/researchforum-register
1 600
23.9
Agent Lightning: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github
Register for the series: aka.ms/researchforum-register
1 261
29.7
Agent Lightning: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github
Register for the series: aka.ms/researchforum-register
1 183
35.5
Magentic Marketplace: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github
Register for the series: aka.ms/researchforum-register
1 646
54.5
Magentic Marketplace: Microsoft Research Forum #ai #llm #agenticai #reasoning #opensource #github
Register for the series: aka.ms/researchforum-register
1 544
24.2
New episode: Microsoft Research Forum #ai #llm #agenticai #reasoning
Register for the series: aka.ms/researchforum-register
1 755
48.4
CROSS — Leveraging AI ASICs for Homomorphic Encryption
Artificial Intelligence (AI) is driving a new industrial revolution, transforming human workflows increasingly into digital tokens, i.e., tokenizing the entire world.
502
9.4
Efficient Distributed Orthonormal Optimizers for Large-Scale Training
Speaker: Kwangjun Ahn, Microsoft Research I delivered a 50-minute technical talk on recent advances in orthonormal update methods for large-scale AI model training.
670
8.6





























