Abstract Synthesis
Abstract Synthesis

Live @ NeurIPS 2025

29 December 2025 39:45 Ndea

Listen to episode

About this episode

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 Systems annual conference, highlighting how program synthesis and symbolic reasoning are increasingly intersecting with vision, reinforcement learning, world models, and scientific discovery. The conversations collectively illustrate why these ideas are resurfacing as key tools for efficiency, interpretability, and generalization.In This Episode -• Visual concept induction using program synthesis combined with vision-language models• Program synthesis as a tool for scientific discovery and interpretability in quantum computing• Symbolic world modeling and efficiency-driven learning in reinforcement learning environments• Composed program induction on structured domains such as the Rubik’s cube• Program synthesis as a lens for understanding brain, behavior, and neural representations• Interpretability perspectives framing neural network training as an implicit form of program synthesisGuests & Papers Mentioned -Clément Bonnet / Technical Staff, Ndeahttps://x.com/ClementBonnet16https://arxiv.org/abs/2411.08706Antonia Wüst / PhD Student, TU Darmstadthttps://ml-research.github.io/people/awuest/index.htmlhttps://arxiv.org/abs/2511.18964Leopoldo Sarra / Senior AI Research Scientist, Axiomatic_AIhttps://leopoldo.sarra.eu/https://arxiv.org/abs/2411.00230Wasu Top Piriyakulkij / PhD Student, Cornell Universityhttps://www.cs.cornell.edu/~wp237/https://topwasu.github.io/poe-worldJumyung Park / Student, Gwangju Institute of Science and Technology (GIST)https://jumyung-park.vercel.app/https://intrig.vercel.app/research/composed-program-induction-with-latent-program-lattice


Colin "Coco" Conwell / Research Scientist, MIT

https://colinconwell.com/

https://openreview.net/forum?id=nuZBUyzBs0


Chris Hamblin / Research Scientist, After Thought

https://chrishamblin.xyz/Other Mentions -DreamCoder, Kevin Ellis et al.https://arxiv.org/abs/2006.08381ARC-AGI Benchmarkhttps://arcprize.org/arc-agiCredits -Host & Music: Bryan Landers, Technical Staff, NdeaCamera & Audio: Rowan RintalaEditor: Alejandro Ramirezhttps://x.com/ndeahttps://x.com/bryanlandershttps://ndea.com

Want to find AI jobs?

Join thousands of AI professionals finding their next opportunity

We respect your inbox. Unsubscribe at any time.

© 2026 Abstract Synthesis. All rights reserved.

Common Questions

Frequently asked questions

Quick answers about how DevFound's AI matching, resumes, and referrals work.

DevFound's AI Copilot ingests your profile, goals, and live job data to deliver curated matches in seconds. Every match includes a resume variant, suggested referrals, and interview prep so you can act immediately. The more feedback you provide, the sharper the Copilot becomes.

AI-led job searches shrink the hours spent sifting through boards and formatting resumes. DevFound pairs automation with your personal outreach, so you reserve energy for interviews and negotiation. Traditional networking still matters, but AI gives you a lift before you even send a message.

Modern AI roles expect comfort with production-grade code, data fluency, and practical ML tooling. The strongest candidates pair deep technical chops with storytelling—translating model impact to product, GTM, and exec partners. Continuous learning keeps you ahead as stacks evolve.

DevFound rewards active seekers. Keep your profile fresh, respond to match quality prompts, and enable alerts so you never miss a role. The AI prioritizes companies and teams that align with your feedback, accelerating both introductions and interview invites.

High-density tech hubs continue to host the deepest AI talent pools, yet distributed teams are catching up fast. Use DevFound filters to hone in on onsite, hybrid, or fully remote roles and watch openings expand across time zones.

DevFound aggregates thousands of remote AI openings and flags the nuances—core hours, async culture, and visa needs—up front. The Copilot also recommends how to position your distributed work experience so hiring managers know you can thrive on a remote team.