Ndea @ndea
A new intelligence science lab founded by @fchollet & @mikeknoop. ndea.com Joined October 2024-
Tweets69
-
Followers8K
-
Following78
-
Likes186
From ARC Prize 2024 Paper Award recipient @SimonOuellette6 - execution-guided multi-step neural program synthesis (EG-NPS) outperforms test-time fine-tuning on ARC-AGI. Novel DSL + structured synthesis drive better out-of-distribution reasoning. Paper: arxiv.org/abs/2507.15877
0
0
12
1K
7
Download Image
New robotics paper that combines symbolic search + neural learning to build compositional models that generalize to new tasks. A neural grammar for a planning programming language.
New robotics paper that combines symbolic search + neural learning to build compositional models that generalize to new tasks. A neural grammar for a planning programming language.
Rei @furrypython
4 Followers 11 Following
serhatcandan @serhatcandan
17 Followers 888 Following
nixpiper @nixpiper
47 Followers 2K Following
Joe Cole - e/acc @joecole
13K Followers 14K Following Human potential x software x AI. Science maximalist. e/acc x h/acc. Prev founded SaaS for pro sport & olympians.
arjun @naagarjunsa
314 Followers 534 Following backend engineer; software systems and infra enthusiast. arsenal, rcb, cars and movies. CS @ucsb @surathkal_nitk prev @samsung
gfoo @GFaucheran99067
3 Followers 85 Following
Siddhant Ujjain @sidujjain
721 Followers 686 Following
AuplusAI @AuplusAI
0 Followers 374 Following AI L'hiver a été exceptionnellement froid, Et après, il y aura de plus belles fleurs.
Elijah Oyekunle @eloyekunle
7 Followers 11 Following Software Engineer (ML) @ Splunk; AI, FinOps, Engineering
Melih Gokay Yigit @mgyigit
5 Followers 215 Following
mhmd hani @mhmdoutofkarak
9 Followers 340 Following i'm not that accomplished yet, to have a bio i mean.
Mohammad Shayan Zia @theshayan_11
1 Followers 49 Following Future AI developer and current student at AKTU. Focusing on Machine Learning and its applications to solve real-world problems. Eagerly exploring new frontiers
Tyler Crosse @tyler_crosse
66 Followers 457 Following
Jared Medina @ProfJaredMedina
541 Followers 876 Following Assoc. Prof. at @EmoryPsychology. I study touch, body representations and multisensory perception. ❤️ cognitive neuropsychology.
Denise Carlin @DeniseMCarlin
427 Followers 2K Following Running Ops and People @WormholeFdn Prev @Blockchain @AmericanExpress Don't use this often. Opinions still my own.
mohamed atwa @wa_mhmed
5K Followers 5K Following
無 @xwuxwux
1 Followers 4K Following
jakedu @jakedudu
72 Followers 1K Following
云创兽Ai @Nuergauj360244
3 Followers 87 Following 💡 hunting value stocks lover, brave girl! looking for hot tips. DM me about market trends! ✨ #Finance #Wealth
QphyRBlu3 @reduced_crane27
0 Followers 635 Following
Jaron Maene @jjcmoon
109 Followers 301 Following PhD Machine Learning @KU_Leuven | #neurosymbolic learning & #probabilistic reasoning
K D @W4pmqbkgchK
261 Followers 2K Following
pedropcamellon @pedropcamellon
46 Followers 784 Following Full-Stack Developer | Python | React.js - Next.js | Vue.js - Nuxt.js | Node.js
Sprengmeister e/acc @KilianNicolai
42 Followers 181 Following
Sathishkumar G @asAlwaysSathish
21 Followers 263 Following
pbr truth @TruthPbr
41 Followers 1K Following
thelastknown @thelastknown_
307 Followers 3K Following Solving complexity around Intelligence, networks, universe @sfiscience @kobotoAI | Open to play ∞ games within this 🌌 &time
Pascal Andreas @PascalAndreas2
74 Followers 504 Following We arrive in the Future - or what passes for it. The alien intelligence invades, relieving us from our duty. A swarm of cybernetic demiurges.
Miguel Garcia @tluqorte0
20 Followers 914 Following To perhaps one day fulfill the legacy that Lagado left behind.
NaN demeulemeester @snikolov
4K Followers 3K Following AlphaFold2 team, MIT '11 (MEng '12) art, computational science, complex/dynamical systems, human/machine intelligence/creativity, dance music
Ben Gaddy @bengaddy
722 Followers 2K Following Building the @breakthrough Fellows program. Materials Science PhD & Electrical Eng @NCState, MBA @ChicagoBooth. 🇸🇪🇺🇸
Pace Space and The Pa... @magictmfcspace
2 Followers 2K Following
ded simba @DedSimba
184 Followers 3K Following social entrepreneur, futurist, ded brazilian bulldog. 2002-2014. enjoying twinter online and good salmon fish sometimes bird.
SJ @_Shubham_Jha
300 Followers 5K Following I'm an Engineer, so to save time let's just assume I'm always right
Omoniyi @ofomojol
281 Followers 6K Following Squash, skiing, steel, good ideas, good books, investing. Discord - https://t.co/jXv4v2SKK0 HBS MBA, UChicago BA (Economics).
vitthal @vit_bhandari
9K Followers 688 Following constantly on the run 🌱 | views expressed here are my own and do not necessarily reflect the views of my employer
vrai @vraiqx
885 Followers 788 Following
Edward Thomas @symbioticmachin
1 Followers 325 Following
Alis volat propriis @Alisvolatprop12
13K Followers 1K Following
Simon Ouellette @SimonOuellette6
100 Followers 61 Following I work with robots, lasers and neural networks.
Burny - Effective Cur... @burny_tech
19K Followers 8K Following On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. https://t.co/mMchI2d4pg Upskilling @StanfordOnline
Emmett Shear @eshear
118K Followers 957 Following CEO of Softmax: Applied developmental cybernetics research
Valerio Pepe @ValerPepe
167 Followers 298 Following MLE Intern @rai_inst, CompSci + CogSci @Harvard, @MIT_CSAIL, @mitbrainandcog language ∩ thought, language acquisition. 1/2 of https://t.co/oZkT6kLUMi
Mark Santolucito @MarkSantolucito
73 Followers 72 Following
Lauren Wagner @typewriters
4K Followers 1K Following building trustworthy AI @arcprize @abundanceinst • prev @Meta @GoogleAI @OIIOxford • 🪽@a16z
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
Jingxuan He @jingxuan_he
369 Followers 179 Following PostDoc with @dawnsongtweets, UC Berkeley. Previously PhD @the_sri_lab, ETH Zurich. Working on security and ML.
Niels Mündler @nielstron
634 Followers 302 Following CS PhD @eth. Language Models, Code, Formal verification. Founder, Compiling Python to FP @OpShinDev.
Martin Vechev @mvechev
2K Followers 26 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
34K Followers 832 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 brrrrr x+1: MS @LTIatCMU x: LLM @Zomato x-N: https://t.co/ht5ObQh7RV & Program Synthesis with LLMs @ProseMsft
Philippe Desjardins-P... @LambdaPhDP
2K 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
689 Followers 2K Following Founding Eng @LangbaseInc | AI Researcher | MS @UAlberta | prev @dailydotdev
Saurabh Srivastava @_saurabh
948 Followers 794 Following Building the next stage of AI @ Essential AI Previously: 2x YC (W15, S18); PhD + Postdoc in Program Synthesis
Hila Peleg is not her... @HilaCodes
2K Followers 377 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 712 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
677 Followers 887 Following Senior Researcher @MSFTResearch | program synthesis, AI4Code, large language models, Human-AI | PhD from @ucsd_cse, @Theteamatx, @BITSPilaniGoa.
Gustavo Soares @gustavoas
596 Followers 475 Following Researcher @Microsoft working on program synthesis in the PROSE team. He/Him
Jocelyn Qiaochu Chen @jocelynqchen
661 Followers 331 Following PhD @UTCompSci. Faculty Fellow @NYU_Courant (2024-2025). Incoming Faculty @UAlberta (as soon as I get the work permit). I do research on program synthesis.
🇺🇦 Alex Polozov @Skiminok
4K Followers 797 Following Sr. Staff Research Scientist @GoogleDeepMind • previously @Theteamatx, @MSFTResearch, @uwcse • program synthesis, GenAI for Code & SWE • he/him
Aalok Thakkar (he/him... @AalokDThakkar
749 Followers 1K Following Assistant Professor of Computer Science, @AshokaUniv. I work on formal methods, program synthesis, and automated reasoning.
Shao-Hua Sun @shaohua0116
4K Followers 1K Following Assistant Professor @ National Taiwan University (NTU) | CS Ph.D. @USC | Robot Learning, Reinforcement Learning, Program Synthesis | 台大電機系助理教授
Omar Costilla Reyes, ... @konet
1K Followers 502 Following CEO and Founder at Equ Healthcare | Advancing neurosymbolic AI in digital healthcare | Researcher at MIT CSAIL
Maddy Bowers @mattlbowers
386 Followers 619 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her
Anjiang Wei @anjiangw
271 Followers 232 Following CS PhD student @Stanford working on LLM for code. Advised by Alex Aiken. Undergraduate @PKU1898
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Ruhma Mehek Khan @RuhmaMehek
143 Followers 390 Following MSCS @GeorgiaTech | Research Fellow @Microsoft @ProseMsft | Prev @Adobe @AdobeResearch | BTech CS and Social Sciences @IIITDelhi
Sumit Gulwani @SumitGulwani
2K Followers 326 Following Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad
Matteo Wong @matteo_wong
3K Followers 1K Following Staff writer for Science, Tech, and Health @theatlantic
Vibhor Khanna @KVibhor
3K Followers 6K Following VC @coatuemgmt. Led rounds in @Notionhq @HuggingFace @runwayml @supabase @Weights_biases @normativeai @skildai + more. Former @iconiqgrowth @Dartmouth
Emanuele Rodolà @EmanueleRodola
812 Followers 91 Following Head of GLADIA @SapienzaRoma and fellow of @SSAS_Sapienza, @ELLISforEurope and @yacadeuro. Lover of crazy ideas and anything passion-driven. #EUFunded
Rubén Ballester @rballeba
2K Followers 624 Following Program synthesis and AGI@ndea. Graph and high-order learning PhD at Universitat de Barcelona and at AIDOS lab.
Leopold Haller @leopold_haller
15 Followers 78 Following
Konstantin Schürholt @k_schuerholt
773 Followers 339 Following AI Researcher at @ndea. Previously postdoc on weight space learning @ University of St.Gallen, Switzerland.
Levi Lelis @levilelis
698 Followers 541 Following Artificial Intelligence Researcher - Associate Professor - University of Alberta - Canada CIFAR AI Chair (he/him, ele/dele).
Yisong Yue @yisongyue
22K Followers 3K Following Machine Learning @Caltech (@YueLabCaltech). AI for invention at @AsariAILabs.
Lukas Biewald @l2k
25K Followers 4K Following Cofounder/CEO of @weights_biases - tools for AI developers.
PunchesBears ㅎ㉨�... @punchesbears
41K Followers 2K Following Robots, ML, Animation, VR, & vidya games. Working on a Space Game & #Wreckoons (a game about stealing trash & being an asshole). Profile doodle by @buenothebear
Jeremy Howard @jeremyphoward
259K Followers 6K Following 🇦🇺 Co-founder: @AnswerDotAI & @FastDotAI ; Prev: professor @ UQ; Stanford fellow; @kaggle president; @fastmail/@enlitic/etc founder https://t.co/16UBFTX7mo
ARC Prize @arcprize
26K Followers 173 Following A North Star for open AGI. Co-founders: @fchollet @mikeknoop. President: @gregkamradt. Help support the mission - make a donation today.
Wen-Ding Li @xu3kev
3K Followers 6K Following LLM for code and reasoning. PhD student at Cornell. Previously Student Researcher at @google. Previously intern at @theteamatx.
Michael Bronstein @mmbronstein
53K Followers 6K Following #DeepMind Professor of #AI @UniofOxford / Director #AITHYRA / Chief Scientist @vant_ai / https://t.co/kZpGpDzYeV (opinions are mine) 🤖🧪🧬🎶🐎
Sriram Krishnan @sriramk
302K Followers 1K Following White House Senior Policy Advisor for AI. pro wrestling fan. official: @skrishnan47
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo AerospaceTrends for United States
7.771 posts
66,4 B posts
15,4 B posts
54,7 B posts
85,1 B posts
1.940 posts
27,5 B posts
8.783 posts
27,3 B posts
35,1 B posts
14,3 B posts
24 B posts
24 B posts
218 B posts
71,3 B posts
2.433 posts
4.300 posts
1.080 posts
You might like
Elon Musk
@elonmusk
225.2M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.7M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.7M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.4M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers