Mayur Naik @AI4Code
Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity. cis.upenn.edu/~mhnaik/ Philadelphia, PA Joined January 2019-
Tweets405
-
Followers2K
-
Following301
-
Likes2K
Prospective PhD students: my research group has openings starting in Fall 2026! We focus on building principled yet practical systems for trustworthy AI. We are developing foundation models and agentic frameworks for critical domains such as cybersecurity, robotics, and…
📢 The Software Engineering group at @Cornell_Bowers is growing fast -- we're now 8 PhD students strong! I’m recruiting PhD students for Fall 2026! If you are interested in the intersection of SE and AI, apply to Cornell CS and reach out! Ddl: Dec 15, 2025. RT!
We introduce Delta Activations, a lightweight yet powerful mechanism to represent AI models, with practical applications such as model selection ("find the best model for task instance X") and model merging ("combine models A and B without re-training to obtain a better model").…
We introduce Delta Activations, a lightweight yet powerful mechanism to represent AI models, with practical applications such as model selection ("find the best model for task instance X") and model merging ("combine models A and B without re-training to obtain a better model").…
Swing by our poster session today at 11 if you're at ICML to learn more about speeding up neurosymbolic learning! We will be in the East Exhibition Hall A-B, # E-2003
Swing by our poster session today at 11 if you're at ICML to learn more about speeding up neurosymbolic learning! We will be in the East Exhibition Hall A-B, # E-2003
Very much enjoyed advocating for symbolic reasoning for Trustworthy AI in my NSF CISE lecture, the recording is now available at nsf.gov/events/neurosy…
Congratulations to Dr. Ziyang Li (@_ziyang_) on defending his dissertation today! Titled "Neurosymbolic Programming in Scallop: Design, Implementation, and Applications", this dissertation proposed Scallop, a unified programming system for combining the otherwise complementary…
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosy…
One of the most effective things the U.S. or any other nation can do to ensure its competitiveness in AI is to welcome high-skilled immigration and international students who have the potential to become high-skilled. For centuries, the U.S. has welcomed immigrants, and this…
Foundation models can now perform many reasoning tasks via prompting alone. So do we still need to train neuro-symbolic systems? Our position paper argues that neuro-symbolic prompting, not training, is the path to generalizable and interpretable reasoning.
Foundation models can now perform many reasoning tasks via prompting alone. So do we still need to train neuro-symbolic systems? Our position paper argues that neuro-symbolic prompting, not training, is the path to generalizable and interpretable reasoning.
I am alarmed by the proposed cuts to U.S. funding for basic research, and the impact this would have for U.S. competitiveness in AI and other areas. Funding research that is openly shared benefits the whole world, but the nation it benefits most is the one where the research is…
We are excited to share Dolphin, a programmable framework for scalable neurosymbolic learning, to appear at ICML 2025! Links to paper and code in thread below 👇
Founders who were PhD or post-doc in my lab at Berkeley, **largely funded by NSF / DoD grants**, start-up, market cap (collected by OpenAI Deep Research)
🌟 We happily announce the ACM SIGSOFT Awards 2025 🌟 -> more details in the following posts. 🤝 Congratulations to all winners for their significant contributions and a big thanks to all colleagues who supported us in the selection committees!
Updating real-world large legacy projects like binutils? Meet (arxiv.org/abs/2501.14257) C2SaferRust: leveraging program analysis & LLMs to create idiomatic, safer Rust with (↓38%) raw pointers & (↓28%) unsafe code while preserving functionality 🚀 #rustlang #AI4code #AIAgent

Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
Swarat Chaudhuri @swarat
3K Followers 626 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Suguman Bansal @sugumanbansal
842 Followers 278 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Gary Marcus @GaryMarcus
194K Followers 7K Following “In the aftermath of GPT-5’s launch … the views of critics like Marcus seem increasingly moderate.” —@newyorker
Peter O'Hearn @PeterOHearn12
2K Followers 118 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Percy Liang @percyliang
85K Followers 420 Following Associate Professor in computer science @Stanford @StanfordHAI @StanfordCRFM @StanfordAILab @stanfordnlp | cofounder @togethercompute | Pianist
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Guannan Wei @GuannanWei
1K Followers 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social
Lingming Zhang @LingmingZhang
2K Followers 385 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
Alia @Uibrauper99673
29 Followers 2K Following Your value doesn’t decrease based on someone’s inability to see your worth.
Esme @Caualqjee1208
58 Followers 2K Following Success isn’t about being the best. It’s about always getting better.
Gianni Perez @ascalon60
473 Followers 4K Following I'm a cyber security professional and researcher working for @ey_us and a contributing writer with @securitytrails
Anish Bhanushali @anish_9207
131 Followers 2K Following here to stay updated with AI/ML literature. views are personal. will shit post if bored enough. anticipating The Butlerian Jihad (Dune, 2002)
!.! @xypyth
57 Followers 5K Following
Peiyang Song @p_song1
363 Followers 250 Following CS Major w/ Robotics Minor @Caltech. #AI Researcher @UCBerkeley & @Stanford. Applying for 26Fall PhD positions in Computer Science.
Ronin207 @Ronin2072
78 Followers 145 Following M1 | Google Developer Groups on Campus ex-Lead @gdsc_waseda | 講師助手 | 研究助手 | 🎾☕️🍽️🌃 日本語勉強中
Anil Santhapuri @santhapuri_anil
697 Followers 6K Following In search of inspiration and excellence in all walks of life; Values-driven Leader; Practitioner of Leadership Development, Coaching & Vipassana meditation.
Zhengxiong Luo @zhengxiong_luo
2 Followers 92 Following System Security, LLM Agents. Research Fellow @NUSingapore, PhD @Tsinghua_Uni
jenika snow @SnowJenika
474 Followers 2K Following Jenika Snow | USA Today Bestseller | Writing bold, steamy romance since 2009.
Yinchun Jiang @alineweade12330
105 Followers 4K Following Tracking changes in the large language model industry, interpreting technical reports with a focus on clarity.
JasperSnow @JasperSnow5
3 Followers 197 Following
Don Cullinan @cullinan92619
300 Followers 8K Following
Diana Chen @crm1104
192 Followers 5K Following
Pankaj Pansari @pankaj_pansari1
7 Followers 74 Following Researcher in Machine Learning and Optimization | PhD @UniofOxford | Prev research scientist at Naver Labs Europe
Patrick Drake @time8machine
17K Followers 6K Following Neurodivergent physics student with a keen interest in multisensory integration and emergent perception. Exploring research on a proposed ‘sixth sense’. Δ
Ellen @A1o27yYa5ivBh
26 Followers 849 Following
Göksun Saadet Ünal @Goksun__Saadet
1 Followers 10 Following
TuringAI @TuringNow
869 Followers 690 Following @PKU1898 @PKUBlockchain|@Legal_DAO|@GlbGPT|Pentester https://t.co/1AUHat0VfT | Ethical hacker
Magnivel Internationa... @magnivel
126 Followers 3K Following Magnivel International is an Open Access publisher and international scientific conferences and expo Organizer.
Alex Cameron @tetsuo_cpp
92 Followers 615 Following Compilers, infosec, systems-programming. Compilers @FabricCrypto. Prev: @trailofbits.
Iefrupea @Iefrupea635620
3 Followers 629 Following
Elza @ElzaE15549
828 Followers 704 Following Business owner & private fashion designer, elevating style through luxury brands and runway inspired creations.
Fbio @Fbio83026755802
2 Followers 3K Following
DIENG Cheikh Ibra @dcheikhibra
97 Followers 2K Following Data & AI @ ENSAE 🤖 | From Dakar to Paris to the world 🌍 | Founder mindset ⚡ | (finance • media • sport • NLP • Crypto ) | Legacy. Growth. Impact.
Olivia Wang @oliviawpy2023
38 Followers 262 Following CSE PhD student @UCSC. Research interests in Human-Centered #XAI (#hcxai), Neurosymbolic AI & Law (#NeSy). Ex-Software Engineer. Views (and the dog) are my own
beginer programer fro... @Soumya67436
79 Followers 3K Following I am beggin proggmer from a village in india I am eager to learn programming please guide me fellow programing seniors this junior is willing to learn
Maryam Masoudian @mrymsdn
54 Followers 306 Following PhD student in CSE HKUST. Interested in program analysis, formal methods, logic, swimming, hiking 😉 Love Nature 🏕️
Ralzz @Ralz_TheG
247 Followers 4K Following
Sustainability R&D @SE_ResearchDev1
176 Followers 2K Following
zen @Zen_am61
1 Followers 9 Following
Sakthi@கொங்�... @sakthiinfotec
3K Followers 7K Following I support Narendra Modi and a proud member of @BJP4India. // முக்கியமாக திமுக எதிர்ப்பாளர்//. Humbled to be followed by @annamalai_k and @mafoikprajan
WeiCUI6 @Cui6Wei
37 Followers 767 Following Systems Software Engineer @NVIDIA. Prev @UofT @UCLA @KITE_UHN @Tesla @Samsung @Apple. Working on @NVIDIAGFN
Amish Sethi @sethi_amish
9 Followers 23 Following
Lucky Patnaik @datadopamine
64 Followers 2K Following 🧑💻 Senior Software Engineer | 🌐 Cloud + 📊 Data | ❤️ Tech | ✨ Branding Enthusiast | 🚀 Innovate. Build. Inspire.
Arnab Mallick @arnabv2
12 Followers 118 Following Researcher, Distributed Systems, C-DAC | Ex - CSIR | IITM
Adil Rasheed @AdilRashee57321
2 Followers 82 Following AI & Data Science Enthusiast | Freelance Web & ML Dev | Aspiring PhD | Researcher | Helping brands grow with tech | Turning ideas into code.
arip petits @AripPetits
6 Followers 1K Following
Dabouq @Dabouq2611
17 Followers 1K Following
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
Swarat Chaudhuri @swarat
3K Followers 626 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Suguman Bansal @sugumanbansal
842 Followers 278 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Gary Marcus @GaryMarcus
194K Followers 7K Following “In the aftermath of GPT-5’s launch … the views of critics like Marcus seem increasingly moderate.” —@newyorker
Peter O'Hearn @PeterOHearn12
2K Followers 118 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Percy Liang @percyliang
85K Followers 420 Following Associate Professor in computer science @Stanford @StanfordHAI @StanfordCRFM @StanfordAILab @stanfordnlp | cofounder @togethercompute | Pianist
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Jeff Dean @JeffDean
367K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
🇺🇦 Alex Polozov @Skiminok
4K Followers 800 Following Sr. Staff Research Scientist @GoogleDeepMind • previously @Theteamatx, @MSFTResearch, @uwcse • program synthesis, GenAI for Code & SWE • he/him
Stephen Miller @StephenM
1.6M Followers 355 Following @WhiteHouse Deputy Chief of Staff for Policy and Homeland Security Advisor | 45 & 47
Ivan Fratric 💙💛 @ifsecure
18K Followers 207 Following Security researcher at Google Project Zero. Author: Jackalope, TinyInst, WinAFL, Domato. PhD. Tweets are my own. Backup @[email protected]
Amish Sethi @sethi_amish
9 Followers 23 Following
Plaksha University @PlakshaUniv
2K Followers 113 Following Technology university located in Mohali. Collective philanthropy to #Reimagine tech education & nurture tech leaders.
The Warren Center for... @WarrenCntrPenn
1K Followers 242 Following A research center @PennEngineers, working to foster research and innovation in interconnected social, economic and technological systems.
Google Research @GoogleResearch
23K Followers 6 Following Impossible? Let’s see. From algorithms to neuroscience to AI, Google Research strives to progress science, advance society & improve billions of people’s lives.
Andrew Ng @AndrewYNg
1.3M Followers 1K Following Co-Founder of Coursera; Stanford CS adjunct faculty. Former head of Baidu AI Group/Google Brain. #ai #machinelearning, #deeplearning #MOOCs
derek guy @dieworkwear
1.4M Followers 956 Following Menswear writer. Editor at @putthison. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
Rear Admiral Eileen L... @EileenforCO
51K Followers 147 Following Democrat and retired U.S. Navy Admiral running against Lauren Boebert for Colorado's 4th congressional district.
David Sinclair @davidasinclair
504K Followers 1K Following Professor @Harvard researching why we age & how to reverse it. Author & host of Lifespan. Mission: Extend healthy life for all. Views are entirely his own 🙏✌️
Pope Leo XIV @Pontifex
18.8M Followers 46 Following Welcome to the official account of His Holiness, Pope Leo XIV.
FIRE @TheFIREorg
218K Followers 3K Following We defend and promote free speech for all Americans in our courtrooms, on our campuses, and in our culture.
Harvard University @Harvard
1.7M Followers 725 Following Official account for Harvard University. Devoted to excellence in teaching, learning, and research, and to developing leaders who make a difference globally.
Paul Graham @paulg
2.1M Followers 778 Following
Noah Smith 🐇 @Noahpinion
361K Followers 2K Following Writes about economics, posts about rabbits. For serious opinions/analysis, read my blog: https://t.co/KfUxUlCYPz
Tim Lau @timlautk
567 Followers 2K Following AI Researcher @DRWTrading; Past Postdoc @Penn @PennMedicine @Wharton @ChicagoBooth; PhD @NorthwesternU Statistics & Data Science
Madhav Singhal @madhavsinghal_
3K Followers 4K Following building https://t.co/vF1W6GJ13g | prev: ai @replit
Stefania Druga @Stefania_druga
12K Followers 8K Following Visiting Researcher @SakanaAILabs, Former Research Scientist @GoogleDeepMind AI & Multimodal LLM applications/ PhD @UW / alumni @mit @msft @Theteamatx
Gauntlet AI @joingauntletai
4K Followers 42 Following An extremely intensive and 100% free AI training program for engineers. Training the next generation of superbuilders.
DeepSeek @deepseek_ai
972K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
Simona Cristea @simocristea
9K Followers 499 Following cancer genomics AI scientist; head of Data Science & AI and group leader @DanaFarber_Hale; research scientist @Harvard; phd @eth.🇷🇴🇸🇪🇨🇭🇺🇸
Laurent Denoue @ldenoue
1K Followers 2K Following Research engineer Web and Mobile R&D, iOS, macOS - Scribe YouTube Transcripts with AI - QuickScreen Screen Recorder - PDF Reflow
Arjun Raj @arjunrajlab
28K Followers 2K Following Just another LLM. Tweets do not necessarily reflect the views of people in my lab or even my own views last week. https://t.co/fZAnUCqd12
👩💻 Paige Bai... @DynamicWebPaige
69K Followers 2K Following ✨ AI should be about empowering humans, building understanding, and making dreams realities. 👩💻 DevX Eng. Lead @GoogleDeepMind ex-@GitHub || views = my own!
Mike Dodds @miike
1K Followers 561 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Cristina Cifuentes @criscifuentes
2K Followers 287 Following Latina, migrant, mother and wife, researcher, teacher, mentor, leader. Mother of decompilation
Tatsunori Hashimoto @tatsu_hashimoto
9K Followers 198 Following Assistant Prof at Stanford CS, member of @stanfordnlp and statsml groups; Formerly at Microsoft / postdoc at Stanford CS / Stats.
Stanford NLP Group @stanfordnlp
172K Followers 296 Following Computational Linguists—Natural Language—Machine Learning @chrmanning @jurafsky @percyliang @ChrisGPotts @tatsu_hashimoto @MonicaSLam @Diyi_Yang @StanfordAILab
Divy Thakkar @divy93t
9K Followers 2K Following strategy + programs for Gemini, advancing human-centered llms. Ph.D @CityStGeorges . Personal views.
John Yang @jyangballin
4K Followers 798 Following 🌲 CS PhD @Stanford 🤖 SWE-bench + agent + smith 🎓 Prev. @princeton_nlp 🐯; @Berkeley_EECS 🐻
Alexandra Silva @alexandra8silva
2K Followers 867 Following Computer scientist, loves traveling and food tasting!
Yizheng Chen @surrealyz
2K Followers 479 Following Assistant Professor @CollegeParkMC2 | Alumnus @Berkeley_EECS @ColumbiaCompSci @gatech_scs
Kai Sheng Tai @kaishengtai
1K Followers 368 Following ML research @MetaAI / prev. CS PhD @Stanford, ML & eng @ MetaMind, physics @Princeton / 🇲🇾
Hyung Won Chung @hwchung27
38K Followers 302 Following AI Research Scientist @Meta Superintelligence Labs. Past: @OpenAI / @Google Brain / PhD @MIT
Jason Wei @_jasonwei
98K Followers 639 Following ai researcher @meta superintelligence labs, past: openai, google 🧠
Vinod Khosla @vkhosla
687K Followers 604 Following entrepreneurship zealot, grounded technology possibilist, believer in the power of ideas, passionate about sustainability & impact
Gary Weissman @garyweissman
1K Followers 2K Following clinical informatics, AI/ML, critical care and pulmonary medicine, health policy, health services research; husband and dad, human. @[email protected]
Sameed Khatana, MD MP... @SameedKhatana
308 Followers 189 Following Cardiologist & health services researcher @PennMedicine @PennLDI @VAPhiladelphia | Alum: @PennCVFellows @BrighamMedRes @PittMedAlum @HarvardChanSPH
Saurabh Srivastava @_saurabh
950 Followers 831 Following Building the next stage of AI @ Essential AI Previously: 2x YC (W15, S18); PhD + Postdoc in Program Synthesis
Jacob Austin @jacobaustin132
7K Followers 920 Following Research at @GoogleDeepMind. Currently making LLMs go fast. I also play piano and climb. NYC. Opinions my own
Zhiqiu (Oscar) Xu @oscar_zhiqiu_xu
195 Followers 255 Following PhD student @Penn; MS, BA @UCBerkeley
Aakanksha Chowdhery @achowdhery
11K Followers 5K Following @Stanford @reflection_ai // Previously @GoogleDeepMind :: PaLM, Gemini // @MSFTResearch, @Princeton // views my own and subject to change