Logical Intelligence

Intelligence Factory

This company develops general intelligence software and foundation models to enable robots to reason and perform manual tasks for manufacturing and industrial sectors.

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.

LogicStar

This company develops autonomous AI agents for software maintenance and bug resolution for engineering teams and software businesses.

Math Inc

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

General Reasoning

This London-based research company develops autonomous agents and reinforcement learning infrastructure for long-horizon sequential decision-making tasks in sectors including finance and healthcare.

Physical intelligence

This company develops foundation models and learning algorithms to control various robotic hardware for customers in manufacturing, healthcare and logistics industries.

AgentOS

This company develops an artificial intelligence operating system that enables autonomous agents to perform complex workflows for enterprise customers.

Enhans

This company develops an agentic AI operating system that automates decision-making and business workflows for enterprises across manufacturing, finance, retail, and public sectors.