Pramaana Labs raises $27 million seed round from Khosla Ventures to bring formal verification to AI
Quick Answer
Pramaana Labs has secured a $27 million seed round from Khosla Ventures to enhance formal verification in AI applications.
Quick Take
The startup aims to target critical sectors such as law, drug discovery, and tax preparation, where the cost of errors is significant and reliability is essential.
Key Points
- Funding will accelerate development of formal verification tools for AI.
- Target sectors include law, drug discovery, and tax preparation.
- Errors in these fields can lead to significant financial losses.
- Reliability in AI systems is increasingly critical for sensitive applications.
Source Excerpt
Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from TechCrunch
See more →
AI chip startup Etched defies skeptics, hits $10.3B valuation from big-name investors
AI chip startup Etched has achieved a $10.3 billion valuation after a $300 million Series C funding round, led by Sequoia and supported by notable investors like Andreessen Horowitz. The company claims to have developed innovative low-voltage chips for AI inference, significantly enhancing performance and reducing costs, with $1 billion in orders already booked.
