Pramaana Labs raises $27M to make AI prove its answers
Formal verification startup Pramaana Labs Inc. today said it has raised $27 million in seed funding for a system it describes as a compiler for high-stakes artificial intelligence.
The product checks an AI model’s answer against the rules of a domain and will not return it unless it can be proved correct. Pramaana is going after regulated work where mistakes are expensive, starting with tax, medical diagnosis, cybersecurity and financial compliance.
Its founders argue today’s models have a gap they cannot close alone. A large language model can write an answer that sounds right. It cannot show the answer is right, and in fields run by strict rules, that is the part that matters.
A conventional large language model still does the heavy lifting, fielding questions in plain language. On top of it sits a deterministic layer that audits the output. Pramaana rewrites a field’s rules in a formal language a machine can reason over. The U.S. tax code is one target. Clinical protocols are another.
