BREAKING
Pramaana Labs raises $27M seed
0
M
Seed raised
0
Investors
AI that proves its work
From rules to proof artifacts
1
Formalize rules
↓
2
Build specs
↓
3
Provers search
↓
4
Proof artifacts
Targeted high-stakes domains
Tax & statutory
Initial focus
●
Built on LEAN prover
●
Ex-IRS chief Werfel involved
Legal & health
Targets
●
Regulatory compliance
●
IIT Delhi professors on board
Early stage, key tests ahead
AI NEWS BLITZ
Pramaana Labs has raised twenty-seven million dollars to bring formal verification to AI.