Overview
Theorem, a San Francisco-based startup, raised $6 million in seed funding led by Khosla Ventures to develop automated tools for verifying AI-generated software correctness, addressing the oversight gap in software reliability as AI coding accelerates.
Products
Loading...
Recent Deals
Investors: Khosla Ventures
Theorem, a San Francisco-based startup, raised $6 million in seed funding led by Khosla Ventures to develop automated tools for verifying AI-generated software correctness, addressing the oversight gap in software reliability as AI coding accelerates.