Theorem Raises $6M from Khosla for AI-Powered Code Verification
YC-backed Theorem raises $6M to build tools that mathematically verify AI-generated code is correct before it ships.
Theorem
YC-backed Theorem raises $6M to build tools that mathematically verify AI-generated code is correct before it ships.
Founders
Jason Gross
Co-founder
Rajashree Agrawal
Co-founder
Funding History
Seed
$6M
January 2025
Led by Khosla Ventures