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