最好的2个逻辑推理工具

7.9

直接访问查看详情

腾讯混元

腾讯混元介绍：具备强中文创作能力、逻辑推理能力和多轮对话功能的大语言模型

网站

4.3

直接访问查看详情

Imandra Inc.

以人工智能为依托的逻辑推理系统。

网站