DeFAb：基于可废止溯因的接地科学发现数据集

DeFAb 发布了一个包含 336 个任务的数据集与符号验证框架，基于 Gene Ontology 生物知识。模型通过补充理论或提出规则例外来填补空白，验证器检查编辑后果。简单符号修复解决了所有评估任务。 该框架要求例外需适用于相关案例并保留其他预测。计划研究比较有无反馈的训练与修订效果。DeFAb 使解释范围可测试，推进科学推理理论修订研究。