Imandra Inc.
Imandra proporciona una plataforma de Razonamiento como Servicio® para el razonamiento lógico en sistemas de IA.
Please wait while we load the page
Imandra Inc. es el hogar de Reasoning as a Service®. Su plataforma, construida sobre avances en razonamiento automatizado, aporta un razonamiento lógico riguroso a los sistemas modernos de IA. Es utilizada por investigadores, corporaciones y agencias gubernamentales en todo el mundo. Imandra ofrece herramientas para integrar el razonamiento lógico automatizado en LLMs, aplicaciones y flujos de trabajo agenticos, fomentando la creación de sistemas de IA Neurosimbólica confiables. Sus productos incluyen ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets y Imandra Connectivity. Proporcionan soluciones para servicios financieros, verificación formal, IA confiable, integración de sistemas, sistemas autónomos, MBSD y gobierno y defensa.
Para usar Imandra, puedes explorar sus productos como CodeLogician, Imandra Universe e Imandra Core. También puedes aprovechar sus soluciones para industrias específicas como servicios financieros o gobierno y defensa. El sitio web proporciona enlaces para aprender más y comenzar a usar sus servicios.
No hay información disponible, pero podría ser una herramienta de IA interesante una vez que haya más detalles.
Información de precios no disponible
Generador de ideas de regalos impulsado por IA basado en características del destinatario y ocasión.
