Program synthesis

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

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

A deep dive into practical strategies for improving AI reasoning in code and structured tasks. The talk covers capturing richer user intent through examples, enabling collaborative interaction, and using automated inspection for iterative refinement, illustrated with real-world applications from Microsoft.

29.4% ARC-AGI-2 🤯 (TOP SCORE!) - Jeremy Berman

29.4% ARC-AGI-2 🤯 (TOP SCORE!) - Jeremy Berman

Jeremy Berman, winner of the ARC-AGI v2 public leaderboard, discusses his novel evolutionary approach that refines natural language descriptions instead of code. He explores the idea of building AI that synthesizes new knowledge by constructing deductive "knowledge trees" rather than merely compressing data into "knowledge webs," touching on the fundamental challenges of reasoning, continual learning, and creativity in current models.

How I became a StoryTeller (and how YOU can too)

How I became a StoryTeller (and how YOU can too)

Distinguished Scientist Sumit Gulwani shares his personal journey from a skeptical researcher to a passionate advocate for storytelling, revealing how narratives built on human connection are more powerful than statistics. He breaks down the science behind why stories work and provides a toolkit of practical techniques—from crafting a strong start to knowing your audience—to help technical professionals transform their communication, research, and even their lives.