SymbolicAI：神经符号大型语言模型框架

SymbolicAI是一个结合了经典Python编程和大型语言模型（LLM）可微分编程特性的神经符号框架。它具有模块化设计，易于扩展和定制，允许用户编写自己的引擎、本地托管引擎或与网络搜索、图像生成等工具交互。核心概念是符号对象和契约。符号对象有句法和语义两种类型，契约则通过装饰器来确保代码的正确性。SymbolicAI支持多种原语操作，并通过API支持OpenAI、Anthropic等神经符号引擎，以及Wolfram Alpha、搜索引擎等多种工具。它还具有优先级配置系统，方便用户管理配置。