Original Summary

Typed intermediate representation for symbolic and neuro-symbolic reasoning.

中文概览

中文标题： LATTIX-IO/reasonir

面向符号与神经符号推理的类型化中间表示（IR）开源项目，用于统一表达推理过程中的符号结构。

  • 情报分类：开源项目与落地
  • 分类依据：GitHub开源仓库，提供符号推理的中间表示库
  • 信息来源：GitHub · AI 新项目
  • 发布时间：2026/10/8 00:43:07