2 papers
cs.AI2026
Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs
Yisen Gao, Jiaxin Bai, Tianshi Zheng +5
Abductive reasoning in knowledge graphs aims to generate plausible logical hypotheses from observed entities, with broad applications in areas such as clinical diagnosis and scient…
cs.CL2025
Enhancing Transformers for Generalizable First-Order Logical Entailment
Tianshi Zheng, Jiazheng Wang, Zihao Wang +5
Transformers, as the fundamental deep learning architecture, have demonstrated great capability in reasoning. This paper studies the generalizable first-order logical reasoning abi…