LOGICDEF: An Interpretable Defense Framework against Adversarial Examples via Inductive Scene Graph Reasoning. - Yuan Yang 007; James Clayton Kerce; Faramarz Fekri (AAAI, 2022)

Temporal Inductive Logic Reasoning. - Yuan Yang 007; Siheng Xiong; James Clayton Kerce; Faramarz Fekri (CoRR, 2022)

TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs. - Siheng Xiong; Yuan Yang 007; Faramarz Fekri; James Clayton Kerce (ICLR, 2023)

LogicDP: Creating Labels for Graph Data via Inductive Logic Programming. - Yuan Yang 007; Faramarz Fekri; James Clayton Kerce; Ali Payani (ICLR, 2023)

TEILP: Time Prediction over Knowledge Graphs via Logical Reasoning. - Siheng Xiong; Yuan Yang 007; Ali Payani; James Clayton Kerce; Faramarz Fekri (AAAI, 2024)

Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation. - Yuan Yang 007; Siheng Xiong; Ali Payani; Ehsan Shareghi; Faramarz Fekri (ACL (1), 2024)

Can LLMs Reason in the Wild with Programs? - Yuan Yang 007; Siheng Xiong; Ali Payani; Ehsan Shareghi; Faramarz Fekri (EMNLP (Findings), 2024)

Temporal Inductive Logic Reasoning over Hypergraphs. - Yuan Yang 007; Siheng Xiong; Ali Payani; James Clayton Kerce; Faramarz Fekri (IJCAI, 2024)

The Compressor-Retriever Architecture for Language Model OS. - Yuan Yang 007; Siheng Xiong; Ehsan Shareghi; Faramarz Fekri (CoRR, 2024)

Deliberate Reasoning for LLMs as Structure-aware Planning with Accurate World Model. - Siheng Xiong; Ali Payani; Yuan Yang 007; Faramarz Fekri (CoRR, 2024)

Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World Model. - Siheng Xiong; Ali Payani; Yuan Yang 007; Faramarz Fekri (ACL (1), 2025)

Towards interpretable and controllable machine learning models via logic reasoning. - Yuan Yang 007 (2025)