Log inSign up
Ndea
115 posts
Image
user avatar
Ndea
@ndea
A new intelligence science lab founded by @fchollet & @mikeknoop. Deep Learning-guided Program Synthesis. We're hiring.
ndea.com
Joined October 2024
98
Following
10.9K
Followers
RepliesRepliesMediaMedia

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up
  • user avatar
    Ndea
    @ndea
    Jul 1
    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.
    Image
    00:00
    14K
    user avatar
    Ndea
    @ndea
    Jul 1
    Watch the full interview:
    2.1K
    user avatar
    Ndea
    @ndea
    Jul 1
    Read the paper:
    arXiv logo
    arxiv.org
    Constrained Adaptive Rejection Sampling
    Language Models (LMs) are increasingly used in applications where generated outputs must satisfy strict semantic or syntactic constraints. Existing approaches to constrained generation fall along...
    676
  • user avatar
    Ndea
    @ndea
    Jun 30
    Watch @fchollet live at @LaudeInstitute Open Frontier. Panel: "Building Things That Last: Lessons from Computing's Long Arc".
    4.8K
  • user avatar
    Ndea
    @ndea
    Jun 18
    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.
    Image
    00:00
    2.4K
    user avatar
    Ndea
    @ndea
    Jun 18
    Watch the full interview: youtu.be/Q2ECBtY3P7w
    1.3K
  • user avatar
    Ndea
    @ndea
    May 27
    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.
    Image
    00:00
    3.7K
    user avatar
    Ndea
    @ndea
    May 27
    Watch the full interview:
    2.3K
  • user avatar
    Ndea
    @ndea
    Apr 7
    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.
    Image
    00:00
    27K
    user avatar
    Ndea
    @ndea
    Apr 7
    Watch the full interview:
    6K
  • Ndea reposted
    user avatar
    ARC Prize
    @arcprize
    Apr 6
    Francois Chollet + Sam Altman Fireside @fchollet and @sama fireside during ARC-AGI-3 Launch Party moderated by @deedydas They discuss: - Social contracts evolving - AGI views as a parent - When will labs score >85% on ARC-AGI-3?
    Image
    00:00
    33K
  • user avatar
    Ndea
    @ndea
    Apr 3
    "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.
    Image
    00:00
    65K
    user avatar
    Ndea
    @ndea
    Apr 3
    Watch the full episode:
    Image
    François Chollet: Why Scaling Alone Isn’t Enough for AGI
    From youtube.com
    3.7K
  • Ndea reposted
    user avatar
    Y Combinator
    @ycombinator
    Mar 27
    François Chollet (@fchollet) has spent years asking a different question than most of the AI world. Instead of scaling what already works, he’s trying to understand what intelligence actually is and how to build it from first principles. In this episode of the @LightconePod, he
    Image
    00:00
    151K
  • user avatar
    Ndea
    @ndea
    Mar 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).
    Image
    00:00
    5.8K
    user avatar
    Ndea
    @ndea
    Mar 3
    Watch the full interview: youtu.be/UyWSvLgQMDE
    4.5K
  • user avatar
    Ndea
    @ndea
    Feb 10
    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-gu…
    16K
  • user avatar
    Ndea
    @ndea
    Feb 9
    In the past 8 episodes of the Abstract Synthesis podcast, we've covered grammar filtering, temporal synthesis, inductive logic programming, vision-language programs, and symbolic world models. This week, we step back to reflect on 3 emergent themes.
    Image
    3.8K
    user avatar
    Ndea
    @ndea
    Feb 9
    Watch the mini-recap episode: youtu.be/t_RgBe2CVms Subscribe + share your feedback!
    3.4K
  • user avatar
    Ndea
    @ndea
    Feb 2
    "...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.
    Image
    00:00
    3.4K
    user avatar
    Ndea
    @ndea
    Feb 2
    Watch the full episode:
    3.3K
Advertisement
Advertisement