Participated · Seed · Jun 2026

Pramaana Labs combines conventional large language models with a deterministic verification layer that uses tools of formal verification inspired by the open-source LEAN proof assistant. The company develops LEAN-style, domain-specific formalizations overseen by domain experts to codify rules into executable code. Pramaana is targeting high-stakes verticals—such as tax, law, drug discovery, and cybersecurity—where errors can have serious consequences. Its approach keeps the flexibility of LLMs for natural language reasoning while adding a verification step to ensure outputs check out. The company is collaborating with advisors and academics including former IRS commissioner Danny Werfel and professors from IIT Delhi, IIT Madras, and UC Berkeley. The product roadmap centers on building formal verification systems tailored to each use case and deploying them in regulated or safety-critical settings.

Participated · Seed · Sep 2025

Maximor is developing a network of autonomous AI agents that connect directly to ERP, CRM, payroll, billing and accounting systems to pull transactions continuously, generate reconciliations, workpapers and audit trails, and provide real-time financial visibility. The platform aims to replace finance teams’ reliance on Excel, although it can still export reconciled data back into spreadsheets for auditors and staff who prefer that format. Early adopter Rently cut its month-end close from eight days to four and avoided two incremental accounting hires while redirecting nearly half of its finance team’s time to strategic work. In addition to software, Maximor offers optional human accountants as reviewers or full-service finance partners, creating a human-in-the-loop safeguard. Founded in the summer of 2024 by former Microsoft executives Ramnandan Krishnamurthy (CEO) and Ajay Krishna Amudan (CTO), the company is headquartered in New York with a Bengaluru office and employs 18 people split between the U.S. and India. Maximor targets mid-market and enterprise customers with at least $50 million in revenue and already serves clients in the U.S., China and India. Its software supports both GAAP and IFRS standards, positioning the startup for globally distributed enterprises.

Participated · Seed · Mar 2025

Hawcx offers a passwordless authentication platform that generates cryptographic private keys each time a user signs in, avoiding transmission or storage of private keys and enabling support for older devices. The company says developers can add its technology with five lines of code, and it positions itself as an alternative to standard passkeys by removing device and sync dependencies. Hawcx was founded in 2023 by Riya Shanmugam, CTO Selva Kumaraswamy, and chief scientist Ravi Ramaraju. The startup has filed patents for its approach but has not yet had deployments validated by third parties, which the article notes could hamper trust. Hawcx is preparing pilots with large banks, gaming companies, and ADP, with trials expected to run three to six months with a limited set of users. The company aims to evolve into a unified authentication platform and to integrate services like document verification, live video verification, and background checks over time.

Led · Seed · Jan 2025

Mili, based in Plano, TX, provides an AI-powered meeting assistant tailored to wealth management firms. Its platform documents meetings across Zoom, Google Meet, Microsoft Teams, phone calls, and in-person meetings. Firms receive customizable templates and firm-specific rubrics that adapt to their workflows. Mili is built on SOC 2–certified infrastructure and offers deep integrations with major wealth platforms including Salesforce, Wealthbox, Practifi, and Salentica. The company is led by co-founders Chirag Gandhi (CEO), Siddharth Bulia (CTO), and Vennela Miryala (CPO).

Participated · Equity · Jun 2024

Testsigma provides a GenAI-powered, low-code test automation platform that lets QA and DevOps teams create complex automated tests using plain English via a Natural Language Programming approach. It includes in-built generative AI capabilities to generate test scenarios, improving test coverage and reducing test development effort. The platform supports testing for web, mobile and desktop apps as well as databases and APIs. Testsigma is also developing a new product for the Salesforce ecosystem and says customers are rapidly adopting its generative AI features. Led by founder and CEO Rukmangada Kandyala, the company aims to become an "operating system" for quality engineering teams. The firm plans to use the new funding to expand operations and accelerate product development. Testsigma provides an open-source, low-code, extendable platform that enables teams to develop, execute, and analyze end-to-end tests for web and mobile apps, and APIs in plain English. The product is aimed at making test automation accessible to developers, QAs, product managers and others across the software delivery cycle. Thousands of developers, QAs and product managers at teams including Sage, HPE, Netgear, HDFC Life, IEEE, SignEasy, American Psychological Association and Mehiläinen use Testsigma. The company plans to use the new funding to strengthen its core engineering and product teams and to build alongside and for a global community of testers, test automation engineers, and developers. Testsigma was founded in 2019 and is led by founders Rukmangada Kandyala, Pratheep Velicherla, Vikram Chaitanya and Rajesh Reddy. It recently closed a seed financing round, indicating early-stage external capital support for product and team expansion.