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.
The Source
TECH CRUNCH
Tech
World leaders want American AI. They just don’t want America to be able to turn it off.
TECH CRUNCH·49m ago·3 min read
Tech
Anthropic becomes first AI startup to join the Frontier carbon removal coalition
TECH CRUNCH·1h ago·3 min read
Tech
Cybercriminals allegedly hacked tens of thousands of Fortinet firewalls used by major companies all over the world
TECH CRUNCH·1h ago·3 min read
Tech
Social media’s next evolution: User-controlled algorithms
TECH CRUNCH·1h ago·3 min read
Related
On this beat
Tech
Anthropic got hit by export rules nobody understands
THE VERGE·1h ago·3 min read
Tech
Meet Kali365 — the ‘Amazon of cybercrime’ where hackers use AI to completely circumvent multi-factor authentication
TECHRADAR·1h ago·3 min read
Tech
World leaders want American AI. They just don’t want America to be able to turn it off.
TECH CRUNCH·49m ago·3 min read
Tech
DJI Pocket 4P revealed in full — now we know exactly how the dual-lens vlogging camera compares to the Pocket 4 and Insta360 Luna Ultra, and DJI might be going hard on pricing
TECHRADAR·50m ago·3 min read