{"id":"1daa4438-8a48-4906-8123-2fd67ee45c3f","kind":"news","code":"1daa4438-8a48-4906-8123-2fd67ee45c3f","name":"Pramaana Labs raises USD27 million in seed financing","nameBasis":"translated-title","summary":"On 2026/6/18, according to Xiniu Data, Pramaana Labs raised USD27 million in seed financing. Investors were Khosla Ventures, Accel, Boldcap Ventures, Nexus Venture Partners, PremjiInvest, and Unbound. The company is a US provider of AI formal verification services.","description":"","country":null,"category":null,"originalName":"Pramaana Labs完成种子轮融资，金额2700万美元","eventDate":"2026-06-18T00:00:00.000Z","website":null,"sourceUpdatedAt":"2026-10-15T17:08:15.508Z","englishUpdatedAt":"2026-10-15T20:41:33.797Z","reviewedAt":"2026-10-15T20:41:33.797Z","snapshotAt":"2026-10-15T18:31:34.288Z","sourceHash":"ff600794341cf5aa4ca5f7e2fcff7febd6cc4dd6a6a0de442ebbd365990e46b1","companyId":"e1bfa199-4543-45d4-b742-d5be4d46de94","foundedYear":null,"logoUrl":null,"originalText":"2026年6月18日，据烯牛数据报道，Pramaana Labs完成种子轮融资，金额2700万美元。投资方为科斯拉风投，Accel，Boldcap Ventures，Nexus Venture Partners，PremjiInvest，Unbound。该公司为美国AI形式化验证服务提供商。","sources":[],"related":[{"id":"076ce76d-b525-4716-8f40-ced67d9ad23e","kind":"institutions","code":"UB-I055","name":"Accel","nameBasis":"original-brand","summary":"A globally prominent venture capital firm with early investments in technology companies including Facebook and coverage of global markets.","description":"A globally prominent venture capital firm with early investments in technology companies including Facebook and coverage of global markets.","country":null,"category":null,"originalName":"Accel","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-14T11:16:20.709Z","englishUpdatedAt":"2026-10-15T21:41:18.487Z","reviewedAt":"2026-10-15T21:41:18.487Z","snapshotAt":"2026-10-15T14:23:27.067Z","sourceHash":"7f703a4f27c7193342283b4ab36f524e5111d706a7d7b073b09d3af507f6b16f","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/institutions/accel"},{"id":"3f193dae-fd81-434c-b6d9-e06a3edef8ae","kind":"institutions","code":"UB-I7788","name":"Boldcap Ventures","nameBasis":"original-brand","summary":"Boldcap Ventures is a European early-stage venture capital firm.","description":"Boldcap Ventures is a European early-stage venture capital firm.","country":null,"category":null,"originalName":"Boldcap Ventures","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-15T20:00:20.029Z","englishUpdatedAt":"2026-10-16T01:39:37.695Z","reviewedAt":"2026-10-16T01:39:37.695Z","snapshotAt":"2026-10-16T01:37:59.763Z","sourceHash":"b45634e8027c194b8caf191577c44cfd2cbf2e7f6b27f612c86873b2b89a1a41","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/institutions/boldcap-ventures"},{"id":"d7facdf5-d8cd-4b9e-99be-ea380a2bd90a","kind":"institutions","code":"UB-I6775","name":"Kesilafengtou","nameBasis":"transliterated","summary":"Kesilafengtou, a venture capital firm focused on technology investments.","description":"Kesilafengtou, a venture capital firm focused on technology investments.","country":null,"category":null,"originalName":"科斯拉风投","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-15T15:56:28.937Z","englishUpdatedAt":"2026-10-15T17:35:39.823Z","reviewedAt":"2026-10-15T17:35:39.823Z","snapshotAt":"2026-10-15T16:06:35.585Z","sourceHash":"6ecc187347de3b80f854f357b2a3f9f300ec93bacb96470a6453000c114194d4","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/institutions/kesilafengtou"},{"id":"e5c94897-887d-4b83-8fcb-c48c47ffb8ec","kind":"institutions","code":"UB-I600","name":"Nexus Venture Partners","nameBasis":"original-brand","summary":"An early- and growth-stage venture capital firm in India.","description":"An early- and growth-stage venture capital firm in India.","country":null,"category":null,"originalName":"Nexus Venture Partners","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-15T10:56:17.831Z","englishUpdatedAt":"2026-10-15T18:43:03.840Z","reviewedAt":"2026-10-15T18:43:03.840Z","snapshotAt":"2026-10-15T14:23:27.067Z","sourceHash":"84e012b41bc3b7cd2627b9108c9b5afb3828a5288052cedcec82d788fe4f6ac9","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/institutions/nexus-venture-partners"},{"id":"e1bfa199-4543-45d4-b742-d5be4d46de94","kind":"companies","code":"UB-C10244","name":"Pramaana Labs","nameBasis":"source-english","summary":"U.S. AI formal verification services provider.","description":"U.S. AI formal verification services provider.","country":"United States","category":null,"originalName":"Pramaana Labs","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-15T00:00:00.000Z","englishUpdatedAt":"2026-10-15T20:20:54.822Z","reviewedAt":"2026-10-15T20:20:54.822Z","snapshotAt":"2026-10-15T14:23:27.067Z","sourceHash":"5b2f416e1828bb5cfa0beb1c876993d2168225a1a31f2fbb363815e64fe612f9","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/companies/pramaana-labs"},{"id":"e09d026d-fe98-4c7e-9654-3f9878f453d4","kind":"institutions","code":"UB-I150","name":"Premji Invest","nameBasis":"original-brand","summary":"The family office of Premji, founder of India's Wipro, making long-term investments across asset classes.","description":"The family office of Premji, founder of India's Wipro, making long-term investments across asset classes.","country":null,"category":null,"originalName":"Premji Invest","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-15T10:54:25.058Z","englishUpdatedAt":"2026-10-15T21:39:21.266Z","reviewedAt":"2026-10-15T21:39:21.266Z","snapshotAt":"2026-10-15T14:23:27.067Z","sourceHash":"c732cc66ca8a882e1391659d90a7bf22e0e9f4c8acb017ff7149431dc3ef2475","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/institutions/premji-invest"},{"id":"7b872018-ceac-4465-8248-51b9745bc8ee","kind":"institutions","code":"UB-I5927","name":"Unbound","nameBasis":"original-brand","summary":"Unbound is a European venture capital firm, directing resources toward seed- to startup-stage technology companies.","description":"Unbound is a European venture capital firm, directing resources toward seed- to startup-stage technology companies.","country":null,"category":null,"originalName":"Unbound","eventDate":null,"website":null,"sourceUpdatedAt":"2026-10-15T11:44:21.902Z","englishUpdatedAt":"2026-10-15T18:21:17.137Z","reviewedAt":"2026-10-15T18:21:17.137Z","snapshotAt":"2026-10-15T14:23:27.067Z","sourceHash":"22ca9570f813d043e596916ca88e20e330598192d17072af845a23202ff6f1e0","companyId":null,"foundedYear":null,"logoUrl":null,"path":"/institutions/unbound"}],"path":"/news/1daa4438-8a48-4906-8123-2fd67ee45c3f","structured":{"city":null,"country":null,"location":null,"role":null,"category":null,"company":{"name":"Pramaana Labs","path":"/companies/pramaana-labs"}},"canonical":"https://uniquebase.ai/news/1daa4438-8a48-4906-8123-2fd67ee45c3f"}