AI reasoning engine

Axiom Math

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

Harmonic

This company develops mathematical artificial intelligence models that provide verified reasoning for developers, researchers and the general public.

Math Inc

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

Axiomatic AI

The company develops an artificial intelligence verification platform for engineering and science organisations to design and build complex hardware systems.

Logical Intelligence

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

Safe Intelligence

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

Flow Engineering

This company develops an AI-driven platform for automating design change propagation and verification for hardware engineering teams in the automotive and aerospace industries.

Leibniz.ai

This company develops verifiable reasoning software to automate decision-making in insurance claims, underwriting and legal services for businesses and legal aid organisations.