MedRule-KG：面向数学推理的知识图谱驱动框架及轻量级验证器
人工智能
2025-12-15 v3
摘要
大型语言模型（LLM）常产生符合语法的推理步骤，却违反简单的数学或逻辑约束。我们引入MedRule-KG，一个紧凑型强类型知识图谱，搭配符号验证器，旨在强制执行推理任务中的数学可解释规则。MedRule-KG编码实体、关系以及三个领域启发的规则，而验证器检查预测并应用最小更正，以确保一致性。在一个由FDA派生的90个样本基准测试上， grounding于MedRule-KG将精确匹配率（EM）从0.767提升至0.900，添加验证器后达到1.000的EM，同时完全消除规则违规。我们展示MedRule-KG为安全数学推理提供了通用框架，讨论消融实验，并发布代码和数据以鼓励可重复性。
引用
@article{arxiv.2510.16309,
title = {MedRule-KG: A Knowledge-Graph--Steered Scaffold for Mathematical Reasoning with a Lightweight Verifier},
author = {Crystal Su},
journal= {arXiv preprint arXiv:2510.16309},
year = {2025}
}
备注
This paper is withdrawn due to issues with attribution and citation accuracy