Mayur Naik

@AI4Code

CS prof @Penn & founder @Rabdos_AI: creating data for the world’s hardest reasoning, from the chalkboard to the wet lab

Philadelphia, PA

cis.upenn.edu/~mhnaik/

Joined January 2019

389 Following

2,472 Followers

Replies Reposts Media

Mayur Naik
@AI4Code
Oct 26
Seeing a dramatic increase in prospective PhD applicant emails this year due to AI. ~ 4x YoY in October so far. Many unfortunate side-effects for everyone involved, but it also makes it incredibly easy for a thoughtful applicant to stand out, by simply writing without using AI.
2
Mayur Naik
@AI4Code
Oct 23
As AI systems start doing research-level mathematics, how do we evaluate them, and how do we trust what they produce? Last week I gave this talk at the Penn AI Seminar on my research group's and @Rabdos_AI 's work on "scalable oversight" in the setting of mathematics:
1
Mayur Naik
@AI4Code
Oct 7
I am at COLM'26 this week in San Francisco with my students as well as folks from @Rabdos_AI . We have three cool papers on timely and exciting topics; drop by if you are attending! > MathDuels: A Self-Play Benchmark That Grows arxiv.org/abs/2604.21916 Wednesday 11-1, Grand
Mayur Naik
@AI4Code
Oct 6
This is the first semester in my teaching career that I have been able to use LLMs to improve the learning experience. One way I’ve been doing this is simply feeding my static slides from each lecture into an agentic framework to create live demos in class. For my software
3
Mayur Naik
@AI4Code
Oct 5
Huge congratulations to Adam, my recently graduated PhD advisee who worked on this newly minted model -- on the topic of safety which is becoming a big deal!
Adam Stein
@adamlsteinl
Oct 5
Beam is out! I feel extremely lucky to have been been part of this launch as part of the safety team for the past ~2 months. It’s been a lot of looking deeply into model outputs and data, being surprised by what we see, and updating our evaluations and training recipes to fix the
Quote
Reflection
@reflection_ai
Oct 5
Introducing Beam: a highly efficient agentic open model with 501B total parameters and 23B active. - Frontier reasoning efficiency - Advances the Western open frontier on coding & agentic tasks - Trained end-to-end from scratch Full weights release this month. Learn more about
2

Mayur Naik

Mayur Naik’s posts