Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation. - Qiming Bao 001; Alex Yuxuan Peng; Tim Hartill; Neset Tan; Zhenyun Deng; Michael Witbrock; Jiamou Liu (NeSy, 2022)

Multi2Claim: Generating Scientific Claims from Multi-Choice Questions for Scientific Fact-Checking. - Neset Tan; Trung Nguyen; Joshua Bensemann; Alex Yuxuan Peng; Qiming Bao 001; Yang Chen 028; Mark Gahegan; Michael Witbrock (EACL, 2023)

Input-length-shortening and text generation via attention values. - Neset Özkan Tan; Alex Yuxuan Peng; Joshua Bensemann; Qiming Bao 001; Tim Hartill; Mark Gahegan; Michael Witbrock (CoRR, 2023)

Contrastive Learning with Logic-driven Data Augmentation for Logical Reasoning over Text. - Qiming Bao 001; Alex Yuxuan Peng; Zhenyun Deng; Wanjun Zhong; Neset Tan; Nathan Young; Yang Chen 028; Yonghua Zhu; Michael Witbrock; Jiamou Liu (CoRR, 2023)

A Systematic Evaluation of Large Language Models on Out-of-Distribution Logical Reasoning Tasks. - Qiming Bao 001; Gaël Gendron; Alex Yuxuan Peng; Wanjun Zhong; Neset Tan; Yang Chen 028; Michael Witbrock; Jiamou Liu (CoRR, 2023)

Teaching Smaller Language Models To Generalise To Unseen Compositional Questions. - Tim Hartill; Neset Tan; Michael Witbrock; Patricia J. Riddle (Trans. Mach. Learn. Res., 2023)

Meta-Inverse Reinforcement Learning for Mean Field Games via Probabilistic Context Variables. - Yang Chen 028; Xiao Lin; Bo Yan; Libo Zhang 006; Jiamou Liu; Neset Özkan Tan; Michael Witbrock (AAAI, 2024)

Faithful Reasoning over Scientific Claims. - Neset Özkan Tan; Niket Tandon; David Wadden; Oyvind Tafjord; Mark Gahegan; Michael Witbrock (AAAI Spring Symposia, 2024)

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. - Qiming Bao 001; Alex Yuxuan Peng; Zhenyun Deng; Wanjun Zhong; Gaël Gendron; Timothy Pistotti; Neset Tan; Nathan Young; Yang Chen 028; Yonghua Zhu; Paul Denny 001; Michael Witbrock; et al. (ACL (Findings), 2024)

Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning. - Qiming Bao 001; Gaël Gendron; Alex Yuxuan Peng; Wanjun Zhong; Neset Tan; Yang Chen 028; Michael Witbrock; Jiamou Liu (ICONIP (10), 2024)