•1 min read•from TechCrunch
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.
Want to read more?
Check out the full article on the original site
Tagged with
#formal verification
#AI
#Pramaana Labs
#seed round
#Khosla Ventures
#reliability
#verification
#drug discovery
#law
#tax preparation
#sensitive verticals
#errors
#costly
#machine learning
#software verification
#high-assurance AI
#investment
#venture capital
#algorithm
#critical systems