Pramaana Labs
Praamana develops formal verification infrastructure for AI systems in high-stakes, rule-based domains.
Date of creation:
2026
Founder:
Ranjan Rajagopalan, Krishnan Raghavan, Sanjay Ganapathi
Sector:
Applied AI
Location:
Funded Year:
2026
