Pramaana Labs recauda 27 millones de dólares en ronda semilla liderada por Khosla Ventures para llevar la verificación formal a la IA

Pramaana Labs ha anunciado una financiación 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 startup busca resolver el problema de la fiabilidad en la implementación de la IA en entornos empresariales, especialmente en sectores sensibles como el derecho, el descubrimiento de fármacos y la preparación de impuestos, donde los errores son costosos. Su enfoque combina LLMs con una capa determinista de verificación formal, utilizando herramientas como el lenguaje de programación LEAN para asegurar la precisión y confiabilidad de los sistemas de IA. Este método permite formalizar reglas complejas y garantizar la exactitud en aplicaciones críticas.