Pramaana Labs

Pramaana Labs Secures $27M to Pair AI with Formal Verification

Pramaana Labs raised $27 million to build AI systems with formal verification, aiming to improve reliability in law, tax, and drug discovery.