论文日报 2026-10-02:可验证查询、错误恢复与高效模型
正确的答案需要明确的验证依据,省下计算也需要说明代价发生在哪一层。本期讨论本体推理评测、建筑图谱查询、工业建图,以及 Agent 恢复、循环生成与模型压缩。
1871 字
|
9 分钟
论文日报 2026-10-01:本体学习、上下文管理与科学工作流
提示词、本体、上下文和工具接口,都在影响模型能否把知识用于实际任务。本期从语义建模与数据验证出发,延伸到 Agent 软件设计、材料科学操作和驾驶世界模型。
2199 字
|
11 分钟
TikZ 本体与关系图图册:9 个 ontology 示例
9 张 ontology 示例总览:RDF、VOWL、TBox/ABox 与柔和风格关系图,附记法选择、密集布局和复用入口。
1325 字
|
7 分钟
TikZ 科学配图图册:18 个 classic 示例
18 张 classic 科学配图总览:曲线、分布、热图与组合布局,以及 Python 计算和 TikZ 排版的复用入口。
1241 字
|
6 分钟
论文日报 2026-09-29:层级表示、稀疏选择与跨模态绑定的接口
层级表示、稀疏选择与跨模态绑定的接口,核对历史版本、实验口径与证据边界。
979 字
|
5 分钟
论文日报 2026-09-28:语义合同、可追溯示范与表示空间计划
语义合同、可追溯示范与表示空间计划,核对历史版本、实验口径与证据边界。
1182 字
|
6 分钟
论文日报 2026-09-27:从约束获取到参考软件,为 Agent 明确目标
从约束获取到参考软件,为 Agent 明确目标,核对历史版本、实验口径与证据边界。
976 字
|
5 分钟
论文日报 2026-09-26:从文献证据到执行日志留下可审计事实
从文献证据到执行日志留下可审计事实,核对历史版本、结果口径与适用条件。
1075 字
|
5 分钟