Faithful Logical Reasoning via Symbolic Chain-of-Thought. - Jundong Xu; Hao Fei 001; Liangming Pan; Qian Liu 012; Mong-Li Lee; Wynne Hsu (ACL (1), 2024)

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework. - Jundong Xu; Hao Fei 001; Meng Luo 002; Qian Liu 012; Liangming Pan; William Yang Wang; Preslav Nakov; Mong-Li Lee; Wynne Hsu (ACL (1), 2025)