| Guest | Appearances |
|---|---|
| Relational Decomposition for Program Synthesis | 1 |
| Symbolic World Models | 1 |
| Inductive Logic Programming | 1 |
| Symbolic Linear Temporal Logic | 1 |
| Title | Date | Type |
|---|---|---|
| Relational Decomposition for Program Synthesis - Céline Hocquette | 2026-02-02 | Guest |
| Symbolic World Models - Top Piriyakulkij | 2026-01-26 | Guest |
| Vision-Language Programs - Antonia Wüst | 2026-01-19 | Solo |
| Inductive Logic Programming - Andrew Cropper | 2026-01-12 | Guest |
| Symbolic Linear Temporal Logic over Finite Traces Synthesis - Moshe Vardi | 2026-01-05 | Guest |
RSS: https://anchor.fm/s/10bc84c48/podcast/rss
Website: https://ndea.com?utm_source=listennotes.com&utm_campaign=Listen+Notes&utm_medium=website
Last Updated: 2026-02-06 08:38