{
  "version": "https://jsonfeed.org/version/1.1",
  "title": "AI News: Microsoft Research",
  "home_page_url": "https://ai-news.ypetit.net/sources/microsoft-research/",
  "feed_url": "https://ai-news.ypetit.net/feed/source/microsoft-research.json",
  "description": "Latest publications from Microsoft Research, aggregated by AI News from the official source.",
  "language": "en",
  "items": [
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1191852",
      "url": "https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/",
      "title": "Microsoft Research: Formally verifying agent-written full-stack web apps with PDD Kit",
      "summary": "AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves …",
      "date_published": "2026-11-05T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1192298",
      "url": "https://www.microsoft.com/en-us/research/podcast/learn-the-rules-the-hacker-mindset/",
      "title": "Microsoft Research: Learn the rules: The hacker mindset",
      "summary": "Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosity, judgment, agility—and an understanding of the rules. The post Learn the r…",
      "date_published": "2026-11-03T17:14:38.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1191770",
      "url": "https://www.microsoft.com/en-us/research/blog/from-synthetic-enterprise-data-evaluations-to-real-microsoft-copilot-ai-confidence/",
      "title": "Microsoft Research: From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence",
      "summary": "Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise d…",
      "date_published": "2026-10-30T13:05:28.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1191933",
      "url": "https://www.microsoft.com/en-us/research/podcast/microsoft-research-focus-edition-97/",
      "title": "Microsoft Research: Microsoft Research Focus – Edition #97",
      "summary": "Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Foc…",
      "date_published": "2026-10-29T19:19:16.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1190353",
      "url": "https://www.microsoft.com/en-us/research/blog/flint-interactive-a-language-for-creating-interactive-data-visualizations/",
      "title": "Microsoft Research: Flint-interactive: A language for creating interactive data visualizations",
      "summary": "Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizat…",
      "date_published": "2026-10-22T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1190191",
      "url": "https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/",
      "title": "Microsoft Research: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture",
      "summary": "For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and comp…",
      "date_published": "2026-10-21T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1185073",
      "url": "https://www.microsoft.com/en-us/research/podcast/called-to-serve-tech-research-and-positive-impact-with-chris-white/",
      "title": "Microsoft Research: Called to serve: Tech, research, and positive impact",
      "summary": "Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manager Weishung Liu about the influences that led to the work and more. The post …",
      "date_published": "2026-10-20T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1189337",
      "url": "https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/",
      "title": "Microsoft Research: Proof-based general-purpose computing with Magnetar",
      "summary": "Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based gen…",
      "date_published": "2026-10-15T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1185936",
      "url": "https://www.microsoft.com/en-us/research/blog/simulating-student-learning-for-better-ai-tutoring/",
      "title": "Microsoft Research: Simulating student learning for better AI tutoring",
      "summary": "StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Si…",
      "date_published": "2026-10-12T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    },
    {
      "id": "https://www.microsoft.com/en-us/research/?p=1187920",
      "url": "https://www.microsoft.com/en-us/research/blog/agent-lightning-v1-0-a-3500-line-lightweight-agentic-rl-framework-for-training-agents-with-real-harnesses/",
      "title": "Microsoft Research: Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses",
      "summary": "Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them. The post Ag…",
      "date_published": "2026-10-07T16:00:00.000Z",
      "tags": [
        "research",
        "Microsoft Research"
      ],
      "authors": [
        {
          "name": "Microsoft Research"
        }
      ]
    }
  ]
}