Pramaana Labs raccoglie $27M da Khosla Ventures per verifica formale dell'IA
**Pramaana Labs** ha chiuso un round di finanziamento seed da **$27 milioni** guidato da **Khosla Ventures**, consolidando il suo impegno nel portare la **verifica formale** ai sistemi di intelligenza