Get the latest tech news

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI


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.

None

Get the Android app

Or read this on TechCrunch

Read more on:

Photo of Khosla Ventures

Khosla Ventures

Photo of M seed round

M seed round

Photo of formal verification

formal verification

Related news:

News photo

A blueprint for formal verification of Apple corecrypto

News photo

Khosla Ventures is betting $10M on Ian Crosby, whose first startup, Bench, imploded

News photo

Arinna raises $4M seed round to solve the space power problem