Rajashree Agrawal

Rajashree Agrawal is a machine learning research engineer and co‑founder of Theorem, where she leads work on training AI models that power the company’s formal verification pipeline; her background spans machine learning, programming languages, and AI safety research, including participation in programs like MATS.

Personal Website

-

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

Organizations

Theorem Labs

Co-founder

No grants recorded.