Pramaana Labs recauda $27M ronda semilla para verificación formal de IA con pruebas LEAN

Según Beating, la startup de verificación formal de IA Pramaana Labs ha completado una ronda semilla de 27 millones de dólares liderada por Khosla Ventures, con la participación de Accel, BoldCap, Nexus Venture Partners, Premji Invest y Unbound. La empresa utiliza LEAN, un lenguaje de programación de código abierto para verificar teoremas matemáticos, para construir una capa de verificación determinista sobre modelos de lenguaje de gran escala para industrias de alto riesgo, incluidas la ley, el desarrollo de fármacos y el cumplimiento fiscal.

Pramaana colabora con el excomisionado del IRS de EE. UU. Danny Werfel para aplicaciones fiscales y con profesores de IIT Delhi, IIT Madras y UC Berkeley para sistemas de verificación de ciberseguridad y desarrollo de fármacos.