Imandra

Imandra is an AI startup based in Texas, specializing in cloud-scale automated reasoning systems. The company employs between 11 and 50 people and aims to enhance the rigor and governance of critical algorithms through democratized automated reasoning. Imandra offers a cloud-native automated reasoning engine that analyzes algorithms to ensure they are safe, explainable, and fair. This engine, known as Reasoning as a Service™, utilizes both symbolic and statistical AI techniques for tasks like automated theorem proving and neural networks. Key features include algorithm analysis, logical rule extraction, and formal verification, which help verify algorithm properties and improve reliability. Imandra has partnered with Itiviti to apply its technology in financial services, particularly in migrating legacy client connectivity systems. The company also integrates automated logical reasoning with Large Language Models, enhancing transparency and providing auditable reasoning in AI systems across various industries.