KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection

From Microsoft Research

The keynote at KDD '25 focuses on enhancing AI reasoning through the concepts of intent, interaction, and inspection, illustrating the speaker's personal journey from studying electrical engineering to pioneering research in computer science. The discussion highlights key advancements in algorithm synthesis and program verification, culminating in reflections on the transformative potential of AI in solving complex mathematical problems and improving reasoning processes.

Key Takeaways

  • From bitter classroom experiences to groundbreaking algorithms, sometimes, revenge fuels innovation more than coffee.
  • Turns out, asking questions and failing to find answers can lead to breakthroughs—who knew adversity was the best teacher?
  • In 2009, Excel taught a lesson: users communicate with intent, not code. Context over syntax reigns supreme.
  • Automating mundane tasks with just one example? Welcome to programming's new era—less Shakespeare, more clarity.
  • Program synthesis and verification might soon save us from AI hallucinations—because who wants a rogue algorithm at dinner?

Mentioned in This Episode