Desarrollar sistemas que verifiquen respuestas de inteligencia artificial y reduzcan errores Laboratorios Pramaanarecibió una inversión de 27 millones de dólares. Khosla Ventures lideró la ronda de inversión inicial de 27 millones de dólares de la empresa. La ronda de inversión de Pramaana Labs, con sede en EE. UU., incluyó a Accel, BoldCap, Nexus Venture Partners, Premji Invest y Unbound.
La compañía dijo que utilizará la inversión para desarrollar y escalar sistemas de verificación formal basados en LEAN en áreas como derecho, impuestos, descubrimiento de fármacos y ciberseguridad para aumentar la confiabilidad de los resultados de la IA.
Laboratorios Pramaana; Ranjan Rajagopalan, Krishnan Raghavan Y Sanjay Ganapathy fue fundada por La empresa desarrolla tecnologías de verificación formal para garantizar que los sistemas de inteligencia artificial funcionen de manera más confiable, especialmente en áreas críticas con muy baja tolerancia a errores. Laboratorios Pramaana; Se centra en industrias donde una respuesta incorrecta puede tener consecuencias graves, como la legislación, la preparación de impuestos, el descubrimiento de fármacos y la ciberseguridad.
El enfoque básico de la empresa no es reemplazar completamente los grandes modelos de lenguaje, sino agregarles una capa de control matemáticamente verificable. Esta capa verifica si las respuestas producidas por el modelo cumplen con ciertas reglas y sistemas lógicos. De esta forma se intenta reducir el riesgo de que la inteligencia artificial produzca alucinaciones. En esta capa de verificación se utilizan sistemas formales como LEAN, que se utilizan para verificar pruebas matemáticas.