People/rajashree
Rajashree Agrawal

Rajashree Agrawal

founderYC
Specializes inArtificial Intelligence

Babysitting models.

x linkedin
1
product
Products · 1
Theorem
Theorem
Founder

Theorem enhances AI in software engineering through formal verification and efficient testing methods.

Worked alongside
Jason Gross
Roles are derived from products, launches and repositories we track — not from self-description.