Imandra Inc.
Imandra fournit une plateforme de Raisonnement en tant que Service® pour le raisonnement logique dans les systèmes d'IA.
Please wait while we load the page
Imandra Inc. est le foyer de Reasoning as a Service®. Leur plateforme, construite sur des avancées en raisonnement automatisé, apporte un raisonnement logique rigoureux aux systèmes d'IA modernes. Elle est utilisée par des chercheurs, des entreprises et des agences gouvernementales dans le monde entier. Imandra offre des outils pour intégrer le raisonnement logique automatisé dans les LLM, les applications et les flux de travail agentiques, favorisant la création de systèmes d'IA neurosymboliques fiables. Leurs produits incluent ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets et Imandra Connectivity. Ils fournissent des solutions pour les services financiers, la vérification formelle, l'IA fiable, l'intégration de systèmes, les systèmes autonomes, MBSD, ainsi que le gouvernement et la défense.
Pour utiliser Imandra, vous pouvez explorer leurs produits comme CodeLogician, Imandra Universe et Imandra Core. Vous pouvez également tirer parti de leurs solutions pour des industries spécifiques comme les services financiers ou le gouvernement et la défense. Le site web fournit des liens pour en savoir plus et commencer à utiliser leurs services.
Aucune information disponible, mais cela pourrait être un outil d'IA intéressant une fois que plus de détails seront publiés.
Information de prix non disponible
