神经符号AI

Imandra 提供一个用于人工智能系统逻辑推理的 Reasoning as a Service® 平台。