AI资讯Pramaana Labs获Khosla Ventures领投2700万美元种子轮融资，致力于将形式化验证引入人工智能
随着企业努力将人工智能试点项目转化为业务的实际组成部分，可靠性问题日益成为关注焦点。一家新兴初创公司希望通过借助数学形式化工具，结合计算机科学中最可靠的系统与最复杂的技术，来解决这一难题。 周三，Pramaana Labs宣布完成2700万美元的种子轮融资，领投方为Khosla Ventures，Accel、BoldCap、Nexus Venture Partners、Premji Invest和