逻辑推理

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

由 AI 驱动的 LSAT 准备平台，专注于逻辑推理和阅读理解的练习。