奥德赛：构建可验证的本地保存真相的基础模型

arXiv:2606.27593v1 公告类型：新 摘要：我们引入了一个名为 ODYSSEY 的分类框架，用于构建可验证的、本地保真基础模型作为铸造厂的组合：构建块架构组件，指定本地上下文、本地表示族、限制图、粘合规则、阻塞策略、更新义务和面向人类的视图的覆盖范围。铸造厂是一个有组织的知识库，其中包含论证成分。混凝土铸造厂是根据通用铸造厂建造的，例如证据/论证、运营决策、机构/财务、市场意义、科学挑战、研究计划、辅助建造和评估线束铸造厂。通用铸造学习 (UFL) 将铸造厂构建形式化为左 Kan 扩展和右 Kan 扩展的组合，左 Kan 扩展将本地工件滚动到候选铸造厂，右 Kan 扩展强制执行升级所需的限制、粘合、阻碍和论证条件。 Foundry SQL (FSQL) 是一个小型类型查询界面，用于对维护的 Foundry 工件进行切片，它使用 TICKET（使用因果 Kan 扩展转换器的 Topos Integration）认证来允许外部或预构建模型进入持久的 ODYSSEY 状态。 ODYSSEY 在广泛的混凝土铸造厂中得到了全面实施和测试，表明相同的分类机制支持域构建、工件重放、层诊断、接地 Toulmin/本地 LLM 审查、残余障碍分类账以及跨异构源优化的 TICKET 兼容因果索赔提取。本文将在 ICML 2026 上以 2.5 小时的教程形式发布。教程主页位于 https://bit.ly/4ajS0nA。