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.

No endorsements yet.

Personal Website

-

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

No grants recorded.