Imandra Inc.

AI systems are powerful, but without rigorous logical reasoning, they can fail in high-stakes situations. Imandra Inc. is the home of Reasoning as a Service® — a platform built on advances in automated reasoning that brings formal, verifiable logic to modern AI systems. Used by researchers, corporations, and government agencies worldwide, Imandra helps integrate automated logical reasoning into LLMs, applications, and agentic workflows to create trustworthy Neurosymbolic AI. Their product lineup includes ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets, and Imandra Connectivity, covering use cases from financial services and autonomous systems to formal verification, government & defense, and system integration. When accuracy and reliability aren't optional, Imandra is the reasoning layer your AI needs.