Pramaana Labs

AI startup using formal verification and auto-formalization to make AI provably accurate in mission-critical domains including tax, legal, healthcare, and governance