Imandra

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

Axiom Math

This company develops artificial intelligence systems for formal mathematical reasoning and automated proof verification for developers, researchers and financial institutions.

Safe Intelligence

This company develops formal verification and validation software for machine learning models used by developers in finance, mobility, robotics and aviation sectors.

Math Inc

This company develops formal verification infrastructure and autoformalisation tools for enterprises to build and scale reliable, agent-based artificial intelligence applications.

Logical Intelligence

This company develops agentic reasoning and orchestration systems for sectors such as energy infrastructure, advanced manufacturing, semiconductors and formal software verification.

Monitaur

This company provides a software platform for artificial intelligence governance and model risk management to enterprises in highly regulated industries.

Proof Trading

This company develops algorithmic execution platforms and trading software for institutional equity asset managers.

Runtime Verification

This company develops formal verification tools and provides security audits for blockchain protocols and safety-critical embedded systems to ensure software correctness and reliability.