Pramaana Labs, an AI startup, has secured $27 million in seed funding. The company develops technology to ensure AI answers are mathematically verifiable. The startup will use the new funding to train Pramaana's formalisation and proof-checking models, expand its AI research staff, and venture into regulated areas such as tax, medical diagnosis, cybersecurity and financial compliance.

Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.

Pramaana Labs raised a $27M seed round led by Khosla Ventures to build a formal verification layer for AI in law, healthcare, and tax compliance.