A new intelligence science lab founded by @fchollet & @mikeknoop. Deep Learning-guided Program Synthesis. We're hiring.
Joined October 2024
- Tweets120
- Following102
- Followers11.7K
- Likes289
Watch the fireside with @fchollet + @fredsala from @SnorkelAI's Frontier Data Summit.
"Measuring and advancing true general intelligence toward AGI":
- Intelligence as Skill Acquisition
- The Limits of Current Benchmarks
- Compression as Intelligence
- The Future of AGI
youtube.com/live/nNHnv9wLXLU…
New open role: Research Platform Engineer.
Help define how infrastructure works in the age of agentic research engineering. Build tools for humans and agents.
Also: $10k referral bonus.
Details: ndea.com/jobs/research-platf…
On the pod: @MLStreetTalk's paper "Why Creativity Cannot Be Interpolated" with @ecsquendor + Dr. Jeremy Budd.
A deep dive into creativity, understanding, neuro-symbolic AI, human-AI collaboration, and how systems capable of extending their own phylogeny could become creative.
On the pod: "Constrained Adaptive Rejection Sampling" with @ucsd_cse professor @lorisdanto.
Hear how symbolic AI experts have navigated the LLM era and why the future of AI code generation depends on program synthesis and formal methods.
Watch @fchollet live at @LaudeInstitute Open Frontier.
Panel: "Building Things That Last: Lessons from Computing's Long Arc".
youtube.com/live/-41kYH6JgvU
On the pod: "Inductive Logic Programming" with Stephen Muggleton, Emeritus Professor at @imperialcollege.
What does it take to invent an entirely new field of AI? From Turing to Michie to McCarthy - the journey to creating ILP, combining logic programming with machine learning.
On the pod: "Recursive Program Synthesis" with @awsTO, Associate Professor at @WisconsinCS.
How cold-emailing @SumitGulwani at Microsoft Research led to a novel research paper and inside Aws' vision to automatically synthesize the software stack for future quantum computers.
On the pod: our most-requested guest! @ellisk_kellis from @Cornell shares the origins of his influential neurosymbolic paper "DreamCoder".
Plus: program synthesis, wake-sleep library learning, world models, running an AI research lab, and more.
"We are trying to build a new branch of machine learning. An alternative to Deep Learning itself...building something that we call Symbolic Descent."
@fchollet joins the @ycombinator Lightcone podcast to share about our research at Ndea and the launch of ARC-AGI-3.
AI researcher @pidgeyusedgust of @ProseMsft joins us on the pod to discuss his favorite paper, "Semantic Programming by Example with Pre-trained Models" - a neurosymbolic framework where Flash Fill meets GPT-3.
Symbolic for structure (syntactic), LLMs for meaning (semantic).
New open role: Technical Staff - Search Guidance
Accelerate science & innovation. Join our small, talent-dense, globally remote team. Apply your RL/DL search expertise to the most advanced program synthesis system.
Also: $10k referral bonus
Details: ndea.com/jobs/search-guidanc…
"...simply looking at a problem differently can greatly improve learning performance."
New pod: Ndea researcher & ILP expert @CelineHocquette on "Relational Decomposition for Program Synthesis" - making symbolic learning systems more efficient without domain-specific knowledge.
Vision-language models (VLMs) can see well, but they struggle to reason.
In this episode, @toniwuest (PhD researcher, @TUDarmstadt) explains how combining VLMs with program synthesis yields more reliable visual reasoning, with fewer tokens than chain-of-thought.
Dive into the paper, "Synthesizing Visual Concepts as Vision-Language Programs".
A neuro-symbolic approach to visual concept induction that treats VLMs as perceptual tools inside symbolic programs.
Watch the full episode:
youtu.be/uefqvsButp8
On the pod: Professor @RiceUniversity and one of the most influential figures in logic, verification, and theoretical computer science, @vardi discusses his paper "Symbolic LTLf Synthesis" and the history of program synthesis.
Watch the full interview:
youtu.be/Hw-PHdgFCEQ
Or listen anywhere you get your podcasts.
Special episode of the Abstract Synthesis podcast recorded live @ NeurIPS 2025.
Program synthesis meets vision, quantum, RL, world models, and scientific discovery.
Featuring @ClementBonnet16, @toniwuest, @LeopoldoSarra, @topwasu, Jumyung Park, Colin Conwell, Chris Hamblin.
Subscribe on YouTube or wherever you get your podcasts for upcoming episodes in 2026!
youtu.be/yy_uqL86SSc