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…