Formal Verification
Pramaana Labs
Artificial Intelligence where every word is weighted. Every claim provable.
- 2023
- Founded
- 1B+
- Reaction Trained
- $69.4M
- Total Raised
- 10X
- Faster Discovery
- 45
- Members
BackedBy Conviction
Investment Team
- perplexity
- DEMOPARTY
- INDIA'S GOTMODELERS
Follow-on Investors
- perplexity
- DEMOPARTY
- INDIA'S GOTMODELERS
Key ChaptersFrom Each World
Every world writes its own zine. These are the covers that made noise.
Learn more>
Maximor x ForbesSolving The 1% Trust Problem Facing CFOs
Maximor believes that they've bridged the trust gap with CFOs.
BoldCapBoldCap at ICLR, Rio
Auto-formalizing the documents that run the world. The conviction bet that put formal verification on the map.
HawcxHawcx Joins NY Fashion Tech Lab
Auto-formalizing the documents that run the world. The conviction bet that put formal verification on the map.
