🦎简介

Imandra是一个推理即服务平台，为人工智能提供逻辑推理功能。 要使用Imandra，需要从PIP3安装Python库，创建一个帐户，并在Python中导入Imandra库。

🏷标签

大型语言模型（LLMs） 人工智能知识库 AI知识图谱 AI知识管理