Nexus Venture Partners

Pramaana Labs Raises $27M for Formal Verification of AI in High-Stakes Industries

San Francisco-based startup Pramaana Labs secures seed funding to develop a formal verification layer for AI, enhancing reliabilit