Neurosymbolic AI 2

Imandra provides a Reasoning as a Service® platform for logical reasoning in AI systems. 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.

AI platform for generating custom software without coding. Durable is a platform focused on transforming access to custom software using explainable AI. It aims to democratize custom, flexible, and durable software, making it accessible to everyone. The platform uses neurosymbolic AI to generate personalized custom software without requiring users to write code. It builds deploy-ready software that meets user needs and earns their trust by continuously learning and reasoning over a personalized world model.