Awesome GitHub RepositoriesDeductive Databases

Racket 是一种通用的、多范式编程语言，属于 Lisp 家族，专为语言创建而设计。它作为一个语言工作台，通过灵活的宏和模块系统，为设计和实现自定义编程语言提供了一个平台。 该系统的特色在于提供了一套全面的语义工程套件，允许构建专门的语言子集和教育层。它包括用于自定义语言设计的工具，如词法分析器和解析器生成，以及在读取时定义模块扩展规则和动态语言选择的能力。 该项目提供了一个集成开发环境，内置编辑器、可视化调试器和软件包管理器。其功能范围扩展到涵盖 2D 图形渲染、二进制数据处理、SQL 和演绎数据库集成以及图形用户界面构建的通用标准库。 该环境支持将源代码编译为独立的二进制可执行文件以进行分发。

AlphaGeometry 是一个神经符号 AI 系统，设计为自动几何求解器和定理证明器。它将大型语言模型与形式化证明引擎集成，从给定的前提中推导出几何结论并生成分步形式化证明。 该系统通过将符号演绎引擎与神经驱动的辅助构造相结合而脱颖而出。这种架构使用语言模型来提出额外的点或线以弥补证明中的空白，而演绎数据库和代数推理系统则根据严格的公理验证每一步的数学正确性。 该项目通过迭代证明搜索和符号-神经混合循环涵盖形式化数学验证和符号几何推理。