Pramaana Labs привлекла $27 млн на формальную верификацию ИИ-систем

Стартап Pramaana Labs получил $27 млн в посевном раунде, который возглавил Khosla Ventures. Компания разрабатывает подход к повышению надежности LLM-приложений с помощью детерминированного слоя проверки и инструментов формальной верификации.

Pramaana Labs привлекла $27 млн в посевном раунде финансирования. Раунд возглавил Khosla Ventures; также участвовали Accel, BoldCap, Nexus Venture Partners, Premji Invest и Unbound.

Стартап хочет применять ИИ в областях, где ошибки особенно дороги: праве, разработке лекарств и подготовке налоговой отчетности. По замыслу компании, обычная большая языковая модель будет отвечать за работу с естественным языком и сложными запросами, а поверх нее будет действовать детерминированный слой проверки.

Pramaana планирует строить для отдельных сценариев собственные системы формальной верификации в стиле Lean — открытого инструментария, используемого для проверки математических доказательств. Для налогового направления компания работает с бывшим комиссаром IRS Дэнни Верфелем, а направления кибербезопасности и поиска лекарств курируют профессора IIT Delhi, IIT Madras и Калифорнийского университета в Беркли.