AI 资源库 · 已整理 2 项
查看与neuro-symbolic相关的 AI 资讯、工具、Skill、工作流和开源项目。
xhdlphzr/HarmoniaTextor · HarmoniaTextor
HarmoniaTextor 是一个神经符号古典音乐生成项目：由大语言模型充当作曲家，配合确定性的符号层（作曲技法包、对位检查器和可插拔体裁框架）对每一步生成进行验证，并最终输出 MusicXML 乐谱。整个流程通过 Flask/pywebview 界面呈现，支持现场乐谱渲染、试听、审阅 AI 反馈、版本回滚和 MIDI/M4A/MP3 导出。
Simonc44/aura-1b · Hybrid neuro-symbolic AI: Llama 3.2 1B + exact math + verified facts — instant CPU-native answers in 807 MB, no GPU. Sealed .aef distribution
Aura-1B 将语言生成、精确数学计算与事实记忆拆分成多个专用模块，而不是让单个小模型包办全部任务。系统以 Llama 3.2 1B Instruct（Q4_K_M，807 MB）为语言核心，配合安全的 AST 数学求值器、TF-IDF+逻辑回归路由器、遗传编程符号专家、DuckDuckGo 联网检索、事实图、PAL 计算、程序化思维（PoT）、逻辑求解器与轻量认知 Agent，在无 GPU 的机器上给出精确且可验证的答案。项目提供 .aef 密封分发格式（含 SHA-256 校验与可选 Ed25519 签名、AES-256-GCM 加密），并支持硬件自动调参。