Pramaana Labs lève 27M$ pour sécuriser l'IA
Pramaana Labs a levé 27 millions de dollars en financement seed pour intégrer la vérification formelle aux systèmes d'IA, visant des domaines critiques comme le droit et la fiscalité. La startup combine des LLM avec une couche déterministe pour réduire les erreurs, s'appuyant sur des experts sectoriels.
« "The world’s hardest problems are not unsolvable. They are unformalized," says Rajagopalan. » — TechCrunch AI
Que faut-il retenir ?
- Pramaana Labs a levé 27 millions de dollars en seed mené par Khosla Ventures.
- La startup cible des secteurs sensibles comme la fiscalité et la découverte de médicaments.
- Le système combine un LLM avec une couche de vérification déterministe.
- Pramaana utilise le langage LEAN pour formaliser les règles sectorielles.
Pourquoi cette nouvelle compte-t-elle ?
Pramaana Labs propose une solution innovante pour améliorer la fiabilité des IA dans des domaines critiques, réduisant les risques d'erreurs coûteuses. Son approche combinant flexibilité et vérification formelle pourrait devenir un standard pour les applications sensibles. Les professionnels des secteurs ciblés (droit, santé, fiscalité) y trouveront une réponse concrète aux limites actuelles des LLM.
27 millions de dollars en financement seed
💬 Ranjan Rajagopalan, Co-fondateur et PDG de Pramaana Labs
Public concerné : entreprises
Comment Pramaana Labs améliore-t-elle la fiabilité des IA ?
Pramaana combine un LLM standard avec une couche de vérification déterministe, s'appuyant sur le langage LEAN pour formaliser les règles sectorielles. Cette approche réduit les hallucinations et erreurs dans des domaines critiques comme la fiscalité.
