La société de vérification formelle par IA Pramaana Labs a levé 27 millions de dollars lors d’un tour d’amorçage, introduisant la preuve mathématique LEAN pour résoudre le problème des hallucinations

robot
Création du résumé en cours
Selon la surveillance de Beating, une startup spécialisée dans l'introduction de la vérification formelle mathématique dans l'IA, Pramaana Labs a annoncé avoir levé 27 millions de dollars lors d'une levée de fonds de démarrage.
Ce tour de financement a été mené par Khosla Ventures, avec la participation d'Accel, BoldCap, Nexus Venture Partners, Premji Invest et Unbound.
Les fonds seront utilisés pour construire une couche de vérification déterministe pour des industries à haute sensibilité et zéro tolérance à l'erreur telles que le droit, la recherche pharmaceutique et la déclaration fiscale.

Le système de Pramaana Labs fonctionne toujours sur un LLM traditionnel pour maintenir la flexibilité dans le traitement de problèmes complexes et en langage naturel, mais son innovation principale réside dans la construction d'une couche de vérification déterministe au-dessus du LLM.
Ce mécanisme s'inspire du langage de programmation open source LEAN, utilisé pour la vérification de théorèmes mathématiques, et code les règles industrielles spécifiques à chaque domaine.

Afin de construire un système de vérification formelle de style LEAN pour différents secteurs verticaux, Pramaana a invité de nombreux experts du domaine à superviser et à valider leur approche.
Dans le domaine fiscal, la société collabore avec l'ancien directeur de l'Internal Revenue Service (IRS) des États-Unis, Danny Werfel ;
dans les domaines de la cybersécurité et de la recherche pharmaceutique, l'équipe est dirigée par des professeurs de l'Indian Institute of Technology (IIT) Delhi et Madras, ainsi que de l'Université de Californie à Berkeley.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
  • Récompense
  • Commentaire
  • Reposter
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
Aucun commentaire
  • Épinglé