Picture

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
  • Tweets
    402
  • Followers
    2K
  • Following
    300
  • Likes
    2K
Mayur Naik retweeted
aaditya_naik Profile Picture

Aaditya Naik @aaditya_naik

2 months ago

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

aaditya_naik Profile Picture

Aaditya Naik @aaditya_naik

3 months ago

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

Mayur Naik retweeted
RajeevAlur Profile Picture

Rajeev Alur @RajeevAlur

2 months ago

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…

AI4Code Profile Picture

Mayur Naik @AI4Code

2 months ago

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…

Mayur Naik retweeted
RajeevAlur Profile Picture

Rajeev Alur @RajeevAlur

2 months ago

Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosy…

Mayur Naik retweeted
AndrewYNg Profile Picture

Andrew Ng @AndrewYNg

3 months ago

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…

AI4Code Profile Picture

Mayur Naik @AI4Code

3 months ago

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.

adamlsteinl Profile Picture

Adam Stein @adamlsteinl

3 months ago

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.

Mayur Naik retweeted
AndrewYNg Profile Picture

Andrew Ng @AndrewYNg

3 months ago

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…

Mayur Naik retweeted
aaditya_naik Profile Picture

Aaditya Naik @aaditya_naik

3 months ago

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 👇

Mayur Naik retweeted
PennAsset Profile Picture

Center for Safe, Explainable, and Trustworthy AI @PennAsset

5 months ago

We can’t thank @awscloud enough for the support! We are excited to see the developments in our students research!

PennEngAI Profile Picture

Penn Engineering AI @PennEngAI

5 months ago

We can’t thank @awscloud enough for the support! We are excited to see the developments in our students research!

Mayur Naik retweeted
pabbeel Profile Picture

Pieter Abbeel @pabbeel

6 months ago

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)

Mayur Naik retweeted
sigsoft Profile Picture

ACM SIGSOFT @sigsoft

7 months ago

🌟 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!

Mayur Naik retweeted
baishakhir Profile Picture

Baishakhi Ray @baishakhir

7 months ago

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

Mayur Naik retweeted
RajeevAlur Profile Picture

Rajeev Alur @RajeevAlur

9 months ago

Stop by on Thursday evening poster session at #NeurIPS2024 to learn about our work on how to integrate black box components in learning pipelines

alaia_solko Profile Picture

Alaia Solko-Breslin @alaia_solko

a year ago

Stop by on Thursday evening poster session at #NeurIPS2024 to learn about our work on how to integrate black box components in learning pipelines

Trends for United States

#CashAppFriday
7.401 posts
#2KDay
60,8 B posts
Tylenol
12,6 B posts
#2kgiveaway
53,5 B posts
Hyundai
79,3 B posts
#YIAY2025
Andre 3000
7.547 posts
Rosie
34,5 B posts
#FursuitFriday
14,9 B posts
Double
220 B posts
Chargers
23,5 B posts
Alcaraz
20,6 B posts
Cars 4
2.235 posts
OutKast
3.972 posts
BB Unlocked
Jake Irvin
Leavenworth
1.394 posts
UCMJ
1.203 posts
South Koreans
2.057 posts
Cam Heyward

You might like

CS Professor at UT Austin + President of @VeridiseInc.
Isil Dillig
@IsilDillig
4K Followers
Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Suguman Bansal
@sugumanbansal
837 Followers
Programming Languages, Formal Methods, and Software Engineering group @IllinoisCS (https://t.co/61fHOptBEa)
PL/FM/SE at Illinois
@plfmse
1K Followers
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Rajeev Alur
@RajeevAlur
2K Followers
Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Swarat Chaudhuri
@swarat
3K Followers
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Loris D'Antoni
@lorisdanto
8K Followers
Asst. Prof. @CornellCIS Past: Postdoc UPenn @CIS_Penn PhD UIUC @IllinoisCS @plfmse
Saikat Dutta
@saikatdutta2012
927 Followers
Founder and CEO of GenseeAI, Associate Professor of Computer Science at UCSD. LLM serving, AI Workflows, Agents
Yiying Zhang
@yiying__zhang
2K Followers
Finding nails, building hammers. Prof at UW Allen School (CSE) @ztatlock@discuss.systems
Zachary Tatlock
@ztatlock
1K Followers
computer scientist, professor, palestinian
Aws Albarghouthi 🍉...
@awsTO
2K Followers
Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Somesh Jha
@jhasomesh
4K Followers
Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.
Rohan Padhye
@moarbugs
2K Followers
Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad
Sumit Gulwani
@SumitGulwani
2K Followers
Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Ilya Sergey
@ilyasergey
6K Followers
Asst. Prof @utexasece, Past: Researcher @VMwareResearch, Postdoc @Stanford CS, PhD @Berkeley_EECS I work on cloud computing systems and ML.
Neeraja Yadwadkar
@NeerajaJY
2K Followers