Pramaana Labs lève $27M million au tour Seed pour la vérification formelle de l’IA avec LEAN Proofs

D’après Beating, la startup de vérification formelle par l’IA Pramaana Labs a finalisé un tour de table de démarrage de 27 millions de dollars mené par Khosla Ventures, avec la participation de Accel, BoldCap, Nexus Venture Partners, Premji Invest et Unbound. La société utilise LEAN, un langage de programmation open source pour vérifier des théorèmes mathématiques, afin de construire une couche de vérification déterministe au-dessus des grands modèles de langage pour des secteurs à enjeux élevés, notamment le droit, le développement de médicaments et la conformité fiscale.

Pramaana collabore avec l’ancien commissaire de l’IRS américain Danny Werfel pour des applications fiscales, ainsi qu’avec des professeurs de l’IIT Delhi, de l’IIT Madras et de l’UC Berkeley pour des systèmes de vérification en cybersécurité et dans le développement de médicaments.