Imandra Inc.
Empowering AI with logical reasoning.
Score
60
User Rating
3.0
Free/Trial Support
Supported
Starting Price
--
Last Updated
Aug 14, 2026
Overview
What is Imandra Inc.?
Imandra Inc. is the home of Reasoning as a Service®. Their platform, built on advances in automated reasoning, brings rigorous logical reasoning to modern AI systems. It is used by researchers, corporations, and government agencies worldwide. Imandra offers tools for integrating automated logical reasoning into LLMs, applications, and agentic workflows, fostering the creation of trustworthy Neurosymbolic AI systems. Their products include ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets, and Imandra Connectivity. They provide solutions for financial services, formal verification, trustworthy AI, system integration, autonomous systems, MBSD, and government & defense.
What is Imandra Inc. used for?
Tags
Top Features
- Automated logical reasoning
- Neurosymbolic AI integration
- Formal verification
- System integration
- AI reasoning tools
How to use Imandra Inc.?
To use Imandra, you can explore their products like CodeLogician, Imandra Universe, and Imandra Core. You can also leverage their solutions for specific industries like financial services or government & defense. The website provides links to learn more and start using their services.
Alternative Tools
No alternative tools found
Pros & Cons
No Data
Use Cases
- Formal verification of systems
- AI reasoning in financial services
- Ensuring the correct behavior of autonomous systems
- Mathematical reasoning about code
Imandra Inc. Pricing
Free PlanSubscription Plan
No detailed pricing information available
User Reviews
3.0
out of 5
3.0
No reviews yet
Be the first to review this tool!