Company — Enterprise AI Track Record

Built on more than a decade of applied enterprise AI.

Since 2014, our team has built AI systems for consequential decisions in law and commerce—combining domain knowledge, measurable performance, explicit controls, and production software.

Benchmark improvement vs. state-of-the-art methods
8,000
PTAB decisions in benchmark
10+years
Building applied enterprise AI
NSF + DARPA
Early institutional backing

2017 benchmark ↗ NSF / DARPA + acquisition ↗

Track Record

Operating history, quantitative evidence, institutional validation.

  1. AI for consequential decisions

    Founded Metonymy Labs in Chicago to build domain-specific AI for complex, evidence-intensive decisions in law and commerce.

    Independent coverage ↗
  2. Enterprise conversational AI three years before ChatGPT

    Built a specialist conversational agent for a top-three CPG market-data firm, enabling users to interrogate complex commercial data through natural language beginning in 2019—three years before ChatGPT.

  3. Acquired to expand enterprise AI capabilities

    Straive acquired Metonymize in 2023 to expand its core AI capabilities. Its acquisition announcement cited Metonymize client wins across Retail, CPG, and Market Research, proprietary AI methods, and prior backing from the National Science Foundation and DARPA.

    Straive is an EQT portfolio company focused on operationalizing data analytics and AI for global enterprises.

    Acquisition announcement ↗ EQT portfolio ↗
  4. Today

    Proverify.ai

    Proverify builds on that operating history with TokenOps and RunTime: infrastructure for making enterprise AI decisions measurable, controlled, auditable, and progressively more valuable over time.

    The objective is not simply to deploy more AI. It is to make advanced AI reliable enough to operate inside consequential enterprise workflows.

Leadership & Technical Team

Enterprise AI, software engineering, operations, and transaction expertise.

Kripa Rajshekhar

Primary inventor & system architect

26 years in AI, consulting, and strategic sales · Founded and sold Metonymize · 12 years M&A advisory at KPMG and EY

Graduate research at RPI in Computer Vision in 1999. Co-founded EY's Corporate Finance Strategy practice, scaling it from 4 to 100+ professionals and leading 150+ M&A and diligence projects. Founded Metonymize in 2014, grew bookings to ~$5M over 18 months, and led its sale to Straive. Architected the compiled merchant RunTime, request pipeline, and causal audit log.

Deb Henretta

Merchant operations & e-commerce strategy

Former Global President of e-business, Procter & Gamble · Fortune "50 Most Powerful Women in Business" seven straight years

Boards: Corning, Meritage Homes, S.C. Johnson; past Chair, APEC Business Council. Informed the policy guards and merchant trust model.

Wlodek Zadrozny, PhD

NLP system architecture

27 years at IBM T.J. Watson Research · 70+ papers · 50+ patents · AAAI Feigenbaum Prize

Professor of Computer Science, UNC Charlotte; previously led textual resources for the IBM Watson Jeopardy! team. Designed core intent-classification and semantic-compilation capabilities.

Sriharsha Veeramachaneni

Machine learning system design

1,500+ research citations · Statistical learning · Information extraction

Machine-learning researcher specializing in statistical learning, semi-supervised classification, NER, and information extraction. Designed compiled classifiers, confidence calibration, and escalation-driven learning.

Dan Stowell

Build systems & compilation architecture

Director of Engineering, Vercel · Head of Engineering, Replit · Principal Engineer, Spotify

Engineer at BuildBuddy. Designed the compilation pipeline, workflow registry, and the LLM-as-compiler execution model.

Brad Kuntz

Transaction advisory & capital strategy

25+ years · Strategy · M&A transaction advisory · Investment management

Former hedge fund manager with experience spanning strategy consulting, transaction advisory, and capital allocation. Designed transaction-advisory classification methodology and PE diligence use cases.

Brian Stevens

Technical accounting & capital markets

Technical accounting · Transaction advisory · ASC 350-40 / FASB ASU 2025-06

Advises enterprises on complex accounting judgments and financial reporting. Designed the capitalization framework, audit-ready evidence package, and rules engine.

* Provisional patents — named inventors.

Enterprise Delivery & Technical Ecosystem

Specialized engineering, data, accounting, and domain expertise supporting production deployment in complex enterprise environments.

Very Big Things

AI Product Design & Engineering

Product design and engineering expertise for translating complex enterprise workflows into secure, production-ready AI systems.

Product design AI engineering Enterprise integration

Visit Very Big Things ↗

Straive

Data Analytics & AI Operationalization

Enterprise data and AI expertise supporting data readiness, scalable analytics, AI deployment, and expert-assisted operations.

Data management Analytics AI operations

Visit Straive ↗

Connor Group

Accounting, Finance & Technology Advisory

Specialized expertise supporting accounting, financial controls, reporting, technology implementation, and enterprise transformation.

Technical accounting Controls Transformation

Visit Connor Group ↗

Technical Foundations

NSF- and DARPA-backed research programs

Foundational work has included NSF- and DARPA-backed programs spanning natural-language processing, automated reasoning, program synthesis, and verification, alongside collaborators from academic and industrial research institutions.

Program synthesis Automated reasoning Verification

View research references ↗

Get in touch

Start with a consequential workflow.

Identify a high-value decision process where AI needs to be more reliable, measurable, or economical. We will evaluate the existing workflow, define the evidence required to improve it, and determine whether TokenOps, RunTime, or both provide a credible path to production.