Pramaana Labs lève 27 M$ pour la vérification formelle de l’IA
Pramaana Labs a levé 27 millions de dollars auprès de Khosla Ventures pour appliquer la vérification formelle à l’IA, ciblant des secteurs sensibles.
Pramaana Labs a levé 27 millions de dollars auprès de Khosla Ventures pour appliquer la vérification formelle à l’IA, ciblant des secteurs sensibles.