
Welcome to Abstract Synthesis - a podcast where we share the stories behind interesting academic papers in the world of program synthesis.
Brought to you by AGI research lab Ndea.
Subscribe wherever you get your podcasts to stay tuned for in-depth, technical interviews with leaders in the space of symbolic AI.
https://ndea.com