Pramaana Labs Raises $27 Million in Seed Funding

Pramaana Labs announced it has raised $27 million in seed funding. Khosla Ventures led the round, with participation from Accel and additional investors. The company is building software that converts domain rules such as tax codes, clinical protocols, and financial regulations into a formal language.

The system then translates user questions into formal statements and checks whether answers comply with those encoded rules.

Labs states its approach is the first to apply formal verification at commercial scale in high-stakes sectors. The company says the method produces outputs that can be audited mathematically rather than reviewed manually. Current AI systems in tax, law, healthcare, finance, and government still require human sign-off because errors cannot be traced to a responsible party.

The new layer is intended to remove that requirement by making each answer verifiable against the original rules.