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.
