Ndea @ndea
A new intelligence science lab founded by @fchollet & @mikeknoop. Deep Learning-guided Program Synthesis. We're hiring. ndea.com Joined October 2024-
Tweets120
-
Followers12K
-
Following103
-
Likes287
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/nNHnv9wLX…
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-…
ARC Prize Research Summit 2026 October 23, 2026 - Boston, MA The ARC Prize community comes together to share new work, challenge ideas, and advance the frontier of machine reasoning towards general intelligence
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.
@ucsd_cse @lorisdanto Read the paper: arxiv.org/abs/2510.01902
@ucsd_cse @lorisdanto Watch the full interview: youtu.be/BwcuNBfHj2w
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/-41kYH6Jg…
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.
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 traces that path from his early work on deep learning to the creation of the @arcprize, and the launch of ARC V3, a new benchmark designed to measure something deeper than performance: the ability to learn, adapt, and reason efficiently in entirely new environments. He explains why today’s systems may be hitting limits, what recent breakthroughs really mean, and why reaching true general intelligence may require a fundamentally different approach. 00:00 - AGI by 2030? 00:31 - Introducing Ndea: A New Path Beyond Deep Learning 01:08 - A New ML Paradigm 01:30 - Replacing neural nets with compact symbolic programs 03:04 - Why Ndea Isn’t Competing With Coding Agents 05:20 - Why Everyone Might Be Wrong About Scaling LLMs 07:22 - Why Coding Agents Suddenly Work So Well 08:50 - The Limits of LLMs in Non-Verifiable Domains 10:48 - What AGI Actually Means (And Why Most Definitions Are Wrong) 13:30 - Why Deep Learning Hits a Wall 14:00 - ARC’s Origin Story 18:20 - ARC Benchmarks Explained: From V1 to V3 22:49 - The RL Loop Powering Coding Agents Today 27:03 - ARC-AGI V3: Measuring “Agentic Intelligence” 31:14 - Inside the ARC Game Studio 35:31 - Could AGI Fit in 10,000 Lines of Code? 44:01 - Building Ndea: From Idea to Compounding Research Stack 46:46 - The Future of ARC: Benchmarks That Evolve With AI 47:21 - Why There’s Still Huge Opportunity for New AI Paradigms 53:37 - How to Build a Breakout Open Source Project - Lessons From Keras 56:39 - Advice For How To Think About AI
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).
fan li @fanli230544
4 Followers 192 Following
Rob Kowal - 🇵🇱 ... @kowalskr
2K Followers 2K Following village idiot gsd in data, tech, mktg, markets, governance/policy & bitcoin @Stanford @LSEalumni @OpenGovInc @Tsingua_Uni @prezydentpl ‘11-‘14
P @PierreEmba
27 Followers 529 Following
Orbtek Group @OrbtekGroup
3 Followers 215 Following A diversified conglomerate and parent organization overseeing @orbteklabs, @orbtekinnovations, @orbtekclouds, and other affiliated companies.
Shehab Anwer, MD @ShehabAnwer
2K Followers 2K Following Founder, @TheAdimension MD Cardiology 🫀 A wayfarer, across #heart, #art & #technology: https://t.co/TMHKd6yA2G
Aryan Shrivastava @aryanwrites29
221 Followers 3K Following
IntheMoodfortweetz @InMoodfortweetz
16 Followers 253 Following
Jan Hoogesteijn @janhoogesteijn
346 Followers 29 Following
حمزة HQ @horbred
2 Followers 475 Following
Jonathan Sheu @jonsheu
99 Followers 2K Following
Leo Barrett ⚡ @tysyrrr
34K Followers 33K Following 💡 Passionate about AI, creativity, and modern technology. Exploring digital growth and new opportunities. Dm👀 [email protected] https://t.co/hgEvODTLPB
••• @cerebrella
1K Followers 2K Following the whole night, i wait just long enough to feel the sun touch my skin. then, i smile
MP @cptarcher1337
21 Followers 1K Following
Caroline @Beethovenfan26
14 Followers 399 Following
Harit Vishwakarma @harit_v
667 Followers 2K Following Postdoc@Oxford, Reliable AI, building @paperena_ai, prev. @WisconsinCS, @iiscbangalore, @IBMResearch.
Mr Ola @mrola500
56 Followers 292 Following Founder PacePro Solution| CMO @kylocli 21 | Economist × Tech × AI. Building secure, intelligent infrastructure that scales. Obsessed with Automation & Systems.
Michelle Acampora @Miacam10
495 Followers 1K Following Postdoc @ImmigrationLab @ETH_en | Previously @HarvardCID | PhD @econ_uzh | Development, Behavioral Econ, Mental Health
Choco🍓🥕🚛🚀... @ChocoNovie
184 Followers 700 Following Dans des temps de tromperie généralisée, le seul fait de dire la vérité est un acte révolutionnaire. Georges Orwell.
Vivian Li @vivianlib
98 Followers 379 Following Building @mumblenote. Exploring how tech can make us more creative, help us connect better with others humans, and keep us physically active.
Erik Poromaa @ErikPoromaa
66 Followers 819 Following
PPS @PPS2357
1 Followers 601 Following
Priyanshu goel @priyanshuugoel
144 Followers 736 Following eating trash cake and smoking // bits pilani’24
Sanders Murrer @murrer98
26 Followers 311 Following
Márton Baltay @martonbaltay
34 Followers 532 Following
mauryaland @mopodono
79 Followers 2K Following
ZePouët @zepouet
1K Followers 5K Following Chief Troll Officer . Il aime le Karaté, le Kungfu, le Taikwendo et les containers. Former Docker captain. Featuring @labaixbidouille @marsjug
Nev Rhea @NevRhea
427 Followers 879 Following 《The happiness of your life depends upon the quality of your thoughts.》- Marcus Aurelius
Vilijan Monev @Vilijan_Monev
1K Followers 3K Following
pkt @piyushjnv
231 Followers 7K Following @IIT Delhi | @IIEST Shibpur | @JNV Muzaffarpur | @L&T Defence and Smart Technologies | Nature explorer | Passionate Cook.
Keith Siegel @KeithASiegel
973 Followers 1K Following Tweets/views are my own. Social Centrist, Fiscal Conservative. Proud American & Jew. Love the USA, Capitalism, Technology.
Moranski @moranski
105 Followers 910 Following
Monster Lucky @dollar888888
97 Followers 3K Following 💎💎💎Diamond Hands 💎💎💎 The Monster of Luck Leverage ETF Bets For Educational and Entertainment purposes only. Not Advice.
Marta López-Bravo @Studiositas
3K Followers 7K Following
Cenno Capital (rtrd/a... @CennoCapital
424 Followers 2K Following https://t.co/ucokFozUr5 Trade crypto on Rails https://t.co/kkt71qFjWV won 7352 online arguments since 1997
Hiral Kanaiya @HiralKanaiya
562 Followers 3K Following Mom | Investor | Engineer | @InfinityCap_HQ Ideas about Health Wealth Tech and Self
Avishkar Saha @avi_saha_00
89 Followers 442 Following Founding Research Engineer @MireloAI | Past: @AWSAI, PhD in machine learning @cvssp_research
Luke Darlow @LearningLukeD
1K Followers 148 Following Research Scientist at @SakanaAILabs I build Continuous Thought Machines: https://t.co/6Nbme8J44r I research intelligence from the ground up.
Kenneth Stanley @kenneth0stanley
17K Followers 1K Following SVP of Open-Endedness @LilaSciences. Prev: Maven CEO, Lead@OpenAI, Uber AI, prof@UCF. NEAT,HyperNEAT,novelty search, POET. Book:Why Greatness Cannot Be Planned
Tim Scarfe @ecsquendor
9K Followers 1K Following CTO @XRAIGlass. Ex-Principal ML engineer @Microsoft. Ph.D in machine learning. CEO @MLStreetTalk pod
Loris D'Antoni @lorisdanto
9K Followers 779 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Swarat Chaudhuri @swarat
3K Followers 683 Following Research Scientist at @GoogleDeepmind London, Professor at @UTCompSci. Automated Reasoning + Machine Learning + Programming Languages.
Isil Dillig @IsilDillig
4K Followers 845 Following CS Professor at UT Austin + President of @VeridiseInc.
Michael D. Moffitt @mmoffitt
884 Followers 5K Following Member of Technical Staff @ Ndea Previously: Google DeepMind
Pierre-Yves Oudeyer @pyoudeyer
6K Followers 2K Following Research director in AI and CogSci @inria, Head of @flowersInria lab, prev. @MSFTResearch @SonyCSLParis https://t.co/1q6Kg2FOpq
Microsoft PROSE Team @ProseMsft
716 Followers 18 Following Official account for the ⚡ PROSE research/engineering team at @Microsoft. PROSE ships in Excel (Flash Fill), Visual Studio (IntelliCode), and more. 🚀
Gust Verbruggen @pidgeyusedgust
71 Followers 88 Following
Michael Carbin @mcarbin
4K Followers 490 Following Associate Professor in EECS at @MIT | Co-Founder at @unconvai | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Unconventiona Computing
Gustaf Alströmer @gustaf
37K Followers 6K Following general partner @ycombinator. previously product @airbnb
Wasu Top Piriyakulkij @topwasu
258 Followers 219 Following CS PhD student at @Cornell | Prev: Student Researcher @GoogleDeepMind, Research Intern @MSFTResearch
Leopoldo Sarra @LeopoldoSarra
99 Followers 312 Following AI Research Scientist | Prev. Research Fellow@Flatiron Institute - Foundation Models for Science. Machine Learning for Physics, Artificial Scientific Discovery
Antonia Wüst @toniwuest
349 Followers 216 Following PhD student at AI/ML Lab @TUDarmstadt Interested in concept learning, neuro-symbolic AI and program synthesis
Jan Disselhoff @JDisselh
115 Followers 45 Following Deep Learning Scientist | The ARChitects Kaggle Team | ARC-AGI 2024 Winner
Guillermo Barbadillo @guille_bar
1K Followers 283 Following In a quest to understand intelligence @Ndea
Céline Hocquette @CelineHocquette
44 Followers 117 Following Researcher in program synthesis at @Ndea
Jack Cole @MindsAI_Jack
3K Followers 1K Following AI Research, PhD in Clin Psych, App Dev 40M+ App Downloads, Competitive ML
JFPuget 🇫🇷🇺�... @JFPuget
21K Followers 2K Following Machine Learning and Agents at @Nvidia, 6x Kaggle Grandmaster CPMP. Arc Prize winner. ML PhD. Ex ENS Ulm, ILOG CPLEX, IBM. Views are my own.
Shreyas Kapur @shreyaskapur
3K Followers 202 Following PhD student @berkeley_ai. Prev. undergrad @MIT, intern @Waymo @GoogleDeepMind
Omar Khattab @lateinteraction
39K Followers 4K Following asst professor @MIT CSAIL @nlp_mit. https://t.co/VgyLxl0VZz, https://t.co/ZZaSzaRIOF (@DSPyOSS), GEPA, RLMs, Pedagogical RL
Simon Ouellette @SimonOuellette6
116 Followers 67 Following I work with robots, lasers and neural networks.
Riley Goodside @goodside
235K Followers 4K Following Mostly screenshots of chatbots. Formerly: Google DeepMind, Scale.
Burny - Effective Cur... @burny_tech
20K Followers 11K Following On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. https://t.co/mMchI2d4pg Upskilling by @StanfordOnline
Emmett Shear @eshear
123K Followers 1K Following CEO of Softmax: Massively Multiplayer Learning Environments
Jiayuan Mao @maojiayuan
3K Followers 226 Following Applied Scientist @ Amazon FAR / Incoming assistant professor @CIS_Penn / PhD from @MIT_LISLab and @MITCoCoSci Learning, Reasoning, and Planning with Concepts
Valerio Pepe @ValerPepe
972 Followers 438 Following robotics @OpenAI Previously CompSci & CogSci @Harvard
Mark Santolucito @MarkSantolucito
124 Followers 78 Following
Lauren Wagner @typewriters
5K Followers 2K Following building trust in AI @arcprize • prev Meta, Google, @OIIOxford @berggruenInst • scout @a16z
Jingxuan He @jingxuan_he
511 Followers 193 Following AI, Programming Languages, Security Researcher @nvidia. Incoming Assistant Professor @NTUsg. Postdoc @UCBerkeley. PhD @ETH. Undergrad @ZJU_China.
Niels Mündler-Sasaha... @nielstron
1K Followers 429 Following CS PhD @eth. Language Models, Code, Formal verification. Black-belt nooancer, Founder, Compiling Python to FP @OpShinDev.
Martin Vechev @mvechev
2K Followers 27 Following Professor of Computer Science, ETH Zurich. Founder of INSAIT (https://t.co/bqKTA6e8X0). Works on Safe/Secure AI, LLMs, Quantum. Co-founder of 6 Deep-Tech start-ups.
Dawn Song @dawnsongtweets
41K Followers 830 Following Professor in Computer Science at UC Berkeley, co-Director of Berkeley RDI Center; Building safe, secure, decentralized AI; Serial entrepreneur
Saksham @sgdescent
1K Followers 2K Following Interested in making LLMs go brrr x+N: @datologyai x: @LTIatCMU x-N: @ProseMsft @Zomato @OpenAI
Philippe Desjardins-P... @LambdaPhDP
1K Followers 2K Following Exploring {Probabilistic Programming w/ Typed λ-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @umontreal. Ph.D. @usherbrooke
Saqib Ameen @saqibameen
772 Followers 2K Following Founding Eng @CommandCodeAI | AI Researcher | MS @UAlberta | prev @dailydotdev
Saurabh Srivastava @_saurabh
1K Followers 2K Following Code Pretraining for Nemotron, NVIDIA; **Views are my own** Previous: Head of Research for Code@Essential AI + YC (W15, S18) + PhD + Postdoc in Code Synthesis
Hila Peleg is not her... @HilaCodes
2K Followers 368 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Tianyi Zhang @tian_yi_zhang
1K Followers 728 Following Assistant professor at Purdue CS, formerly Postdoc at Harvard SEAS and PhD at UCLA CS. Working on SE, HCI, Program Synthesis & Human-AI Interaction.
Shraddha Barke @shraddha_96
671 Followers 929 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Gustavo Soares @gustavoas
589 Followers 476 Following Researcher @Microsoft working on program synthesis in the PROSE team. He/Him
Jocelyn Qiaochu Chen @jocelynqchen
770 Followers 384 Following Faculty @UAlberta. @AmiiThinks affiliate. PhD @UTCompSci. I do research on program synthesis.
🇺🇦 Alex Polozov @alexpolozov
6K Followers 919 Following Member of Technical Staff @reflection_ai • previously @GoogleDeepMind, @Theteamatx, @MSFTResearch, @uwcse • program synthesis, AI for code, pretraining dataTrends for United States
You might like
