關於這一集

英語
美國

逐字稿 🔗

搜尋以前的節目

搜尋Abstract Synthesis以前的節目。

本 Podcast 中的其他單集

Wasu "Top" Piriyakulkij, PhD student at Cornell University advised by Kevin Ellis, discusses his paper "PoE-World: Compositional World Modeling with Products of Programmatic Experts." The episode explores how symbolic, programmatic world models can achieve strong generalization …
Antonia Wüst, PhD student at TU Darmstadt, discusses her paper "Synthesizing Visual Concepts as Vision-Language Programs," which introduces a neurosymbolic approach to visual concept induction by combining vision-language models with program synthesis. The work grew out of Wüst’s early P…
Moshe Vardi, Professor at Rice University and one of the most influential figures in logic, verification, and theoretical computer science, discusses his paper “Symbolic LTLf Synthesis”. This conversation explores how Linear Temporal Logic over finite traces (LTLf) provides a more practical and sc…

Live @ NeurIPS 2025

This is a special episode of the Abstract Synthesis podcast featuring a series of live interviews from NeurIPS 2025 in sunny San Diego, California. Rather than centering on a single paper, this episode captures a snapshot of the current research landscape at the Neural Information Processing Syste…
Andrew Cropper, logic luminary and creator of the popular Popper, discusses the paper "Inductive Logic Programming at 30: A New Introduction."This episode examines how inductive logic programming (ILP) learns symbolic rules from examples and background knowledge, and what it takes to buil…
免責聲明: 本頁面嵌入的 Podcast 和封面圖片來自 Ndea,歸其所有者所有,與 Listen Notes, Inc. 無關聯,也未獲得 Listen Notes, Inc. 背書。