Fundraising Fox
Rajashree Agrawal
FounderFounder at Theorem
San Francisco, California, United States
FoundedTheorem · YC
Find your path to Rajashree
10,385 people in our graph can introduce you to Rajashree.
Sign up to see every warm intro you have to Rajashree
- Paths you didn't know you had: your email and LinkedIn already hold routes to Rajashree. We find them
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes you can't see from your own inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
About
Rajashree Agrawal is the founder of Theorem.dev, which provides AI-powered translation tools for converting formal mathematical proofs between proof assistants.
Founder at TheoremYC X25
Intro paths
Rajashree went through Y Combinator (Spring 2025) — any YC alum in your network can reach them through the YC community.
Their group partner at YC was Tom Blomfield, Monzo and GoCardless co-founder; Y Combinator partner on leave and Anthropic compute-team member. — the partner who ran Theorem's batch and knows the company first-hand. YC profile ↗
In turn, Rajashree can intro founders to Theorem's investors below.
Theorem's investors · 12
Co-founders at Theorem
Experience
- TheoremCo-foundercurrent2025 — presentSan Francisco Bay Area
Frequently asked questions
- Who is Rajashree Agrawal?
- Rajashree Agrawal is the founder of Theorem.dev, which provides AI-powered translation tools for converting formal mathematical proofs between proof assistants.
- Where does Rajashree Agrawal work?
- Rajashree Agrawal is Founder of Theorem.
- What companies did Rajashree Agrawal found?
- Rajashree Agrawal founded Theorem.
Founder mafias
Y Combinator mafia10,603
Also came through, then founded or led a company.
