Inductive Synthesis of Recursive Functional Programs
About this video
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceExplains inductive synthesis as a technique for automatically generating recursive functional programs from examples. The video presents a concrete programming methodology with clear educational scope.
A 65-minute video from Microsoft Research: “Inductive Synthesis of Recursive Functional Programs”.
Video by Microsoft Research, played through YouTube's embedded player.