Carnap：Haskell逻辑框架助力AI研究
Carnap是一个免费开源的软件框架，用Haskell语言编写，专门用于教学和研究形式逻辑。它为全球数十所大学的逻辑课程提供技术支持，学生可登录访问课程材料。作为Open Tower项目，该框架鼓励开发者参与和使用，对AI领域的逻辑研究有重...
标签索引 / 第 3 页
开源框架
这个标签下有 24 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
开源AI图像生成框架'派奇智图'重大更新：新增图片编辑功能
开源AI图像生成框架’派奇智图’（原派奇绘画）近日推出重大更新，新增备受期待的图片编辑功能。该功能基于Qwen Image Edit模型实现，支持图片融合、风格转换、物品移除等多种编辑操作。项目免费使用，不限量生成，...
Dograh：开源语音代理框架，快速构建AI语音助手
Dograh是一个全新的开源语音代理框架，旨在解决语音代理开发中的基础设施和测试难题。该项目由YC校友及退出创始人团队打造，是对现有解决方案如Pipecat和VAPI的改进。Dograh采用基于Pipecat的自定义引擎，提供一键式启动模板...
开源AI Agent框架Nuwa：基于控制论的数字生命原型
本文介绍了一个名为Nuwa的创新性开源AI Agent框架，由一位从土木行业转行AI的开发者创建。该框架基于控制论与向量动力学原理，在不微调模型权重的前提下，通过PID控制器模拟AI的’生理节律’与’社交...